✦ LIBER ✦

A Formulation of the Simple Theory of Typesby Alonzo Church

✍ Scribed by Review by: W. V. Quine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Schröder's Anticipation of the Simple Th

✍ Review by: W. V. Quine 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

The Weak Theory of Implicationby Alonzo

✍ Review by: Haskell B. Curry and William Craig 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 348 KB

The Weak Theory of Implicationby Alonzo

✍ Review by: Haskell B. Curry and William Craig 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 196 KB

Whitehead and Russell's Theory of Typesb

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

Schröder's anticipation of the simple th

✍ Alonzo Church 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 221 KB

Schröder's Anticipation of the Simple Th

✍ Alonzo Church 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 478 KB