Computability: Turing, Gödel, Church, and Beyond (The mit Press)
Copeland, B. Jack [Editor]; Posy, Carl J. [Editor]; Shagrir, Oron [Editor]; Copeland, B. Jack [Contributor]; Posy, Carl J. [Contributor]; Shagrir, Oron [Contributor]; Davis, Martin [Contributor]; Feferman, Solomon [Contributor]; Kripke, Saul A. [Contribut
Mit Pr, 2015, Paperback, New