✦ LIBER ✦

The Combinatory Foundations of Mathematical Logicby Haskell B. Curry

✍ Scribed by Review by: Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combinatory Logicby Haskell B. Curry

✍ Review by: J. Barkley Rosser 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 314 KB

Foundations of Mathematical Logic.by Has

✍ Review by: William Craig 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 219 KB

A Revision of the Fundamental Rules of C

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

Some Advances in the Combinatory Theory

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

The Deduction Theorem in the Combinatory

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

Some Aspects of the problem of Mathemati

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