@book{124391,
	author = {Boolos, George S., and Burgess, John P.,},
	title = {Computability and logic /},
	publisher = {Cambridge University Press,},
	year = {2010.},
	address = {Cambridge :},
	edition = {5th edition.}
}