✦ LIBER ✦

Outlines of a Formalist Philosophy of Mathematicsby Haskell B. Curry

✍ Scribed by Review by: J. C. C. McKinsey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

HASKELL B. CURRY: OUTLINES OF A FORMALIS

✍ A. Wittenberg 📂 Article 📅 1953 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB

A Formalization of Recursive Arithmeticb

✍ Review by: Barkley Rosser 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 196 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

A Simplification of the Theory of Combin

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

The System LDby Haskell B. Curry;On the

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