✦ LIBER ✦

A Formalization of Recursive Arithmeticby Haskell B. Curry

✍ Scribed by Review by: Barkley Rosser

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 Theory of Formal Deducibilityby Haskel

✍ Review by: Ann S. Ferebee 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 209 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

Recursive Objects in all Finite Types.by

✍ Review by: Charles Parsons 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB