✦ LIBER ✦

On a Fragment of the Implicative Propositional Calculusby Helena Rasiowa

✍ Scribed by Review by: Johannes Bendiek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a fragment of the implicative proposi

✍ H. Rasiowa 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 68 KB

From the Domain of Mathematical Logic.--

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

Researches on Sub-Systems of the Proposi

✍ Review by: Helena Rasiowa 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 306 KB

Strong Completeness of Fragments of the

✍ Review by: R. C. Lyndon 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

On the Independence of Henkin's Axioms f

✍ Review by: Sören Halldén 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB

On Variable Functors of Propositional Ar

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