✦ LIBER ✦

Metalogic of Intuitionistic Propositional Calculus

✍ Scribed by Citkin, Alex

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The intuitionistic propositional calculu

✍ S. K. Sobolev 📂 Article 📅 1977 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 285 KB

The Separation Theorem of Intuitionist P

✍ Alfred Horn 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 277 KB

Complexity of subclasses of the intuitio

✍ G. Mints 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 341 KB

The diagrams of formulas of the intuitio

✍ Anita Wasilewska 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 222 KB

On Formulas of One Variable in Intuition

✍ Iwao Nishimura 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 214 KB

On 2nd order intuitionistic propositiona

✍ Gabbay, Dov M. 📂 Article 📅 1974 🏛 Springer-Verlag ⚖ 539 KB