@book{19612,
	author = {George S. Boolos and Richard C. Jeffrey},
	title = {Computability and logic},
	publisher = {Cambridge University Press,},
	year = {1995},
	address = {Cambridge,USA:},
	edition = {3rd}
}