✦ LIBER ✦

Concerning an Axiom System of the Implicational Propositional Calculusby Jan Łukasiewicz

✍ Scribed by Review by: Bolesław Sobociński

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Variable Functors of Propositional Ar

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

An Axiom System for the Propositional Ca

✍ Review by: Oiva Ketonen 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 173 KB

The Shortest Axiom of the Implicational

✍ Jan Łukasiewicz 📂 Article 📅 1948-1950 ⚖ 826 KB

A Single Axiom for a Partial System of t

✍ Review by: Gene F. Rose 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 81 KB