✦ LIBER ✦

A Functional Calculus of First Order Based on Strict Implicationby Ruth C. Barcan

✍ Scribed by Review by: W. V. Quine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

Functional Calculus of First Order Based

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

The Deduction Theorem in a Functional Ca

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

The Identity of Individuals in a Strict

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

The Identity of Individuals in a Strict

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