✦ LIBER ✦

A Partial Functions Version of Church's Simple Theory of Types

✍ Scribed by William M. Farmer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formal Theorem in Church's Theory of T

✍ M. H. A. Newman and A. M. Turing 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 442 KB

Schröder's Anticipation of the Simple Th

✍ Review by: W. V. Quine 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 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

A Formulation of the Simple Theory of Ty

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

On resemblance and isomorphism types of

✍ E. A. Polyakov 📂 Article 📅 1995 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 394 KB