✦ LIBER ✦

HASKELL B. CURRY: OUTLINES OF A FORMALIST PHILOSOPHY OF MATHEMATICS

✍ Scribed by A. Wittenberg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Outlines of a Formalist Philosophy of Ma

✍ Review by: J. C. C. McKinsey 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 343 KB

Foundations of Mathematical Logic.by Has

✍ Review by: William Craig 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 219 KB

The Combinatory Foundations of Mathemati

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

Some Aspects of the problem of Mathemati

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

A Formalist Philosophy of Mathematics Pa

✍ Michael Gabbay 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 288 KB

A Formalization of Recursive Arithmeticb

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