✦ LIBER ✦

Another Proof of the Markov-Post Theoremby László Kalmár

✍ Scribed by Review by: William W. Boone

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Another Proof of the Gödel-Rosser Incomp

✍ Review by: Günter Asser 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 202 KB

On the Possibility of Definition by Recu

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

A New Principle of Construction of Logic

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

A Direct Proof of the Unsolvability of t

✍ Review by: John G. Kemeny 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 129 KB

On the Reduction of the Decision Problem

✍ Review by: Th. Skolem 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 353 KB

On the Reduction of the Decision Problem

✍ Review by: W. Ackermann 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 215 KB