Publisher
Springer Nature Switzerland
Reference10 articles.
1. Buldt B. The Scope of Gödel’s First Incompleteness Theorem. Logica Universalis (8):499–552, 2014.
2. Feferman, S. The arithmetization of metamathematics in a general setting, in Fundamenta Mathematica, 19: 35–92, 1960.
3. Henkin L. A problem concerning provability. The journal of symbolic logic, p. 60, 1952.
4. Kripke SA. The Church-Turing “Thesis” as a Special Case of Gödel’s Completeness Theorem. In Computability: Turing, Gödel, Church and Beyond, BJ Copeland, C Posy and O Shagrir (eds). The MIT Press (Cambridge) 2013.
5. Kripke SA. The Road to Gödel. In: Berg J. (eds) Naming, Necessity, and More. Palgrave Macmillan, London. 2014.