✦ LIBER ✦

Reduction of the Decision Problem to Formulas Containing a Bounded Number of Quantifiers Onlyby János Surányi

✍ Scribed by Review by: Andrzej Mostowski

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 ⚖ 203 KB

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