Computability: Turing, Godel, Church, and Beyond | Oron Shagrir

Computability: Turing, Godel, Church, and Beyond

Roy T. Cook. 2014. “Computability: Turing, Godel, Church, And Beyond”. Philosophia Mathematica, 22, 3, Pp. 412-413. doi:10.1093/philmat/nku016.