Turing Computability and Gödel's (2008)

by Robert F “Consistency Hadley
Venue:First Incompleteness Theorem.” Minds & Machines. 18