@book{150045,
	author = {Boolos, George. and Jeffrey, Richard C.},
	title = {Computability and logic},
	publisher = {Cambridge University Press},
	year = {1989.},
	address = {Cambridge}
}