✦ LIBER ✦

Notes on the Axiomatics of the Propositional Calculusby C. A. Meredith; A. N. Prior

✍ Scribed by Review by: John Bacon

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

A Formalization of the C-0 Propositional

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

On a Fragment of the Implicative Proposi

✍ Review by: Johannes Bendiek 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 192 KB

A New Algorithm of Deducibility in the C

✍ Review by: E. M. Fels 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

A Note on the Intuitionist and the Class

✍ Review by: T. Thacher Robinson 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 154 KB

Strong Completeness of Fragments of the

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