@book{131071,
	author = {Boolos, George. and Jeffrey, Richard C.,},
	title = {Computability and logic /},
	publisher = {Cambridge University Press,},
	year = {1980.},
	address = {Cambridge [Eng.] ;},
	edition = {2d ed.}
}