@book{53417,
	author = {Manaster, Alfred B.  .},
	title = {Completeness, Compactness, And Undecidability / },
	publisher = {Prentice Hall Of India Pvt Ltd , },
	year = {1975.},
	address = {N.Delhi :},
	edition = {1st /}
}