✦ LIBER ✦

The Deduction Theorem in the Combinatory Theory of Restricted Generalityby Haskell B. Curry

✍ Scribed by Review by: Richard J. Orgass

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Basic Verifiability in the Combinatory T

✍ Review by: Richard J. Orgass 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 358 KB

Some Advances in the Combinatory Theory

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

The Combinatory Foundations of Mathemati

✍ Review by: Barkley Rosser 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB

A Revision of the Fundamental Rules of C

✍ Review by: Barkley Rosser 📂 Article 📅 1941 🏛 Association for Symbolic Logic 🌐 English ⚖ 185 KB

The Consistency of a System of Combinato

✍ Haskell B. Curry 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 128 KB

Some Advances in the Combinatory Theory

✍ Haskell B. Curry 📂 Article 📅 1942 🏛 National Academy of Sciences 🌐 English ⚖ 250 KB