✦ LIBER ✦

A Revision of the Fundamental Rules of Combinatory Logicby Haskell B. Curry;Consistency and Completeness of the Theory of Combinatorsby Haskell B. Curry

✍ Scribed by Review by: Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Combinatory Foundations of Mathemati

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

A Simplification of the Theory of Combin

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

Some Advances in the Combinatory Theory

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

A Revision of the Fundamental Rules of C

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

The Deduction Theorem in the Combinatory

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

The Paradox of Kleene and Rosserby Haske

✍ Review by: László Kalmár 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 278 KB