✦ LIBER ✦

A group in the substitutive algebra of the calculus of propositions

✍ Scribed by Karl Menger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Couple of Novelties in the Proposition

✍ C. A. R. Hóre 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB 👁 1 views

Completeness of the Propositional Calcul

✍ W. V. Quine 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 381 KB

Fragments of the Propositional Calculus

✍ Leon Henkin 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 878 KB

The independence of axioms in the propos

✍ Hughes, G.E. 📂 Article 📅 1957 🏛 Taylor and Francis Group 🌐 English ⚖ 406 KB

A contribution to the history of proposi

✍ A. Korcik 📂 Article 📅 1953 🏛 Springer Netherlands 🌐 English ⚖ 33 KB

On a fragment of the implicative proposi

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