Computability and logicGeorge Boolos, Richard C. Jeffrey, George S. Boolos, John P. Burgess · First published 1974 · Latest edition 2007Open the Tome