Copeland Computability: Turing, Gödel, Church, and Beyond - MIT Press 2013 fulltext Monograph ISBN: 9780262312677 Subjects--Topical Terms: Computing and Processing; General Topics for Engineers