Computability Turing, Gödel, Church, and beyond - Copeland, B. Jack; Posy, Carl J.; Shagrir, Oron 1961- (The MIT Press, 2013)