✦ LIBER ✦

Extensions of Some Theorems of Gödel and Church

✍ Scribed by Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensions of some Theorems of Gödel and

✍ Review by: Paul Bernays 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 367 KB

Gödel's theorem, Church's theorem, and m

✍ J. J. C. Smart 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 333 KB

An Informal Exposition of Proofs of Göde

✍ Barkley Rosser 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 771 KB

Some diophantine forms of gödel's theore

✍ Dyson, Verena H. ;Jones, James P. ;Shepherdson, John C. 📂 Article 📅 1980 🏛 Springer-Verlag ⚖ 575 KB

An Informal Exposition of Proofs of Göde

✍ Review by: Evert Beth 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB

The completeness theorem of Gödel

✍ S. M. Srivastava 📂 Article 📅 2001 🏛 Indian Academy of Sciences 🌐 English ⚖ 623 KB