✦ LIBER ✦

The Paradox of Kleene and Rosserby Haskell B. Curry

✍ Scribed by Review by: László Kalmár

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Simplification of the Theory of Combin

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

A Revision of the Fundamental Rules of C

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

The System LDby Haskell B. Curry;On the

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

Some Aspects of the problem of Mathemati

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

The Combinatory Foundations of Mathemati

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

The Inconsistency of Certain Formal Logi

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