✦ LIBER ✦

On the Reduction of the Decision Problem. Second Paper. Godel Prefix, a Single Binary Predicateby László Kalmár; János Surányi

✍ Scribed by Review by: W. Ackermann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Decision Problem. Third Paper. Pe

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

On the Reduction of the Decision Problem

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

Contributions to the Reduction Theory of

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

Contributions to the Reduction Theory of

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

Contributions to the Reduction Theory of

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

On the Reduction of the Decision Problem

✍ László Kalmár 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 895 KB