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