@book{54774,
	author = {Manaster, Alfred B..},
	title = {Completeness, compactness, and undecidability :},
	publisher = {Prentice hall of India pvt ltd , },
	year = {c1975.},
	address = {N.Delhi :},
	edition = {1st ed. /}
}