✦ LIBER ✦

The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication

✍ Scribed by Ruth C. Barcan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functional Calculus of First Order Based

✍ Marcus, Ruth Barcan 📂 Fiction 📅 0 🌐 English ⚖ 390 KB

A Functional Calculus of First Order Bas

✍ Ruth C. Barcan 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 850 KB

The Deduction Theorem in a Functional Ca

✍ Review by: W. V. Quine 📂 Article 📅 1947 🏛 Association for Symbolic Logic 🌐 English ⚖ 240 KB

A Functional Calculus of First Order Bas

✍ Review by: W. V. Quine 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 317 KB

The Identity of Individuals in a Strict

✍ Ruth C. Barcan 📂 Article 📅 1947 🏛 Association for Symbolic Logic 🌐 English ⚖ 364 KB

On the Rules of Proof in the Pure Functi

✍ Andrzej Mostowski 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 410 KB