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