✦ LIBER ✦

A Simplification of the Theory of Combinatorsby Haskell B. Curry

✍ Scribed by Review by: S. C. Kleene

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Revision of the Fundamental Rules of C

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

A Theory of Formal Deducibilityby Haskel

✍ Review by: Wilhelm Ackermann 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 428 KB

A Theory of Formal Deducibilityby Haskel

✍ Review by: Ann S. Ferebee 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 209 KB

Some Advances in the Combinatory Theory

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

A Formalization of Recursive Arithmeticb

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

The System LDby Haskell B. Curry;On the

✍ Review by: Paul Bernays 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 361 KB