✦ LIBER ✦

Quasi-Constructive Foundations for Mathematics.by Frederic B. Fitch

✍ Scribed by Review by: Bruce Lercher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Basic Logicby Frederic B. Fitch

✍ Review by: George D. W. Berry 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 190 KB

Self-Referential Relationsby Frederic B.

✍ Review by: A. N. Prior 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 195 KB

A Minimum Calculus for Logicby Frederic

✍ Review by: George D. W. Berry 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 363 KB

Natural Deduction Rules for Obligationby

✍ Review by: William H. Hanson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 307 KB

Elements of Combinatory Logic.by Frederi

✍ Review by: Bruce Lercher 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 102 KB

A Demonstrably Consistent Mathematicsby

✍ Review by: R. M. Martin 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 306 KB