@book{7010,
	author = {Vaidyanathan, L D},
	title = {Desk work in logic /},
	publisher = {s.n.,},
	year = {1971},
	edition = {2 ed.}
}