✦ LIBER ✦

A Practical Infinitistic Computerby L. Kalmár

✍ Scribed by Review by: William E. Gould

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Unsolvable Mathematical Problemsby L.

✍ Review by: Andrzej Mostowski 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 426 KB

Zur Reduktion des Entscheidungsproblemsb

✍ Review by: Alonzo Church 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

A New Principle of Construction of Logic

✍ Review by: Ann M. Singleterry 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 204 KB

Another Proof of the Markov-Post Theorem

✍ Review by: William W. Boone 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 151 KB

On the Possibility of Definition by Recu

✍ Review by: S. C. Kleene 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 164 KB

Explanation to the Foregoing Paper of L.

✍ Review by: Alonzo Church 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB