✦ LIBER ✦

Some Laws of the Calculus of Quantifiersby Ivo Thomas

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Independence of Tarski's Law in Henkin's

✍ Review by: Hugues Leblanc 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB

On the Infinity of Positive Logicby Ivo

✍ Review by: John Bacon 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB

The Shortest Axioms of the Implicational

✍ Review by: Ann S. Ferebee 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 99 KB

The Rule of Excision in Positive Implica

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

The Logical Square and Modes of Categori

✍ Review by: Anders Wedberg 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 302 KB

THE CALCULUS OF THE WEAK "LAW OF EXCLUDE

✍ Jankov, V A 📂 Article 📅 1968 🏛 Turpion ⚖ 401 KB