✦ LIBER ✦

Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculusby G. E. Mints; A. O. Slisenko

✍ Scribed by Review by: J. van Heijenoort

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Choice of Terms in Quantifier Rules of C

✍ Review by: J. van Heijenoort 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 230 KB

Disjunctive Interpretation of the LJ Cal

✍ Review by: J. van Heijenoort 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 348 KB

Analog Téorémy Erbrana dlá Konstruktivno

✍ Review by: J. van Heijenoort 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 366 KB