✦ LIBER ✦

Schröder's Anticipation of the Simple Theory of Types.by 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

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

Schröder's Anticipation of the Simple Th

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

A Formulation of the Simple Theory of Ty

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

A Partial Functions Version of Church's

✍ William M. Farmer 📂 Article 📅 1990 🏛 Association for Symbolic Logic 🌐 English ⚖ 445 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