✦ LIBER ✦

Some Advances in the Combinatory Theory of Quantificationby Haskell B. Curry

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Advances in the Combinatory Theory

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

The Deduction Theorem in the Combinatory

✍ Review by: Richard J. Orgass 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 351 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

A Simplification of the Theory of Combin

✍ Review by: S. C. Kleene 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB

Some Aspects of the problem of Mathemati

✍ Review by: S. C. Kleene 📂 Article 📅 1941 🏛 Association for Symbolic Logic 🌐 English ⚖ 406 KB