@book{239965,
	author = {Boolos, George. and Burgess, John P.,},
	title = {Computability and logic /},
	publisher = {Cambridge University Press,},
	year = {2007.},
	address = {Cambridge ;},
	edition = {5th ed.}
}