@book{148039,
	author = {Boolos, George S. and Jeffrey, Richard C.},
	title = {Computability and logic /},
	publisher = {Cambridge University Press,},
	year = {1989.},
	address = {Cambridge :},
	edition = {3rd ed.},
	note = {Includes index.}
}