✦ LIBER ✦

Contributions to the Reduction Theory of the Decision Problem. Second Paper. Three Universal, One Existential Quantifiersby János Surányi

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Contributions to the Reduction Theory of

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

On the Reduction of the Decision Problem

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

Contributions to the reduction theory of

✍ János Surányi 📂 Article 📅 1950 🏛 Akadmiai Kiad 🌐 English ⚖ 555 KB

Reduction of the Decision Problem to For

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

Contributions to the reduction theory of

✍ János Surányl 📂 Article 📅 1951 🏛 Akadmiai Kiad 🌐 English ⚖ 535 KB

Contributions to the Reduction Theory of

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