@book{30954,
	author = {Boolos, George. and Jeffrey, Richard C.},
	title = {Computability and logic /},
	publisher = {University Press,},
	year = {c1974},
	address = {Cambridge :}
}