Computability: Turing, Gödel, Church, and Beyond - Copeland (MIT Press, 2013)
Monograph
fulltext
Keywords: Computing and Processing; General Topics for Engineers