✦ LIBER ✦

A Theory of Formal Deducibilityby Haskell B. Curry

✍ Scribed by Review by: Ann S. Ferebee

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Theory of Formal Deducibilityby Haskel

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

A Formalization of Recursive Arithmeticb

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

On Definitions in Formal Systemsby Haske

✍ Review by: Abraham Robinson 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 336 KB

Language, Metalanguage, and Formal Syste

✍ Review by: A. R. Turquette 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB

The Inconsistency of Certain Formal Logi

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

A Simplification of the Theory of Combin

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