✦ LIBER ✦

A Paratheory of Type Theory.by Gerold Stahl

✍ Scribed by Review by: Charles Parsons

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Paratheory of Type Theory

✍ Gerold Stahl 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB

Enfoque Moderno de la Lógica Clásicaby G

✍ Review by: O. Chateaubriand 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 566 KB

The Effectivity of Questions.by Gerold S

✍ Review by: Tadeusz Kubiński 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 82 KB

A System of Simple Type Theory with Type

✍ Review by: Bede Rundle 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 151 KB

Types of Ethical Theory.by James Martine

✍ Review by: H. Sidgwick 📂 Article 📅 1885 🏛 Oxford University Press 🌐 English ⚖ 529 KB

A decidable theory of type assignment

✍ William R. Stirton 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 462 KB