✦ LIBER ✦

Fundamenta Mathematicae: A Theory of Propositional Typesby L. Henkin

✍ Scribed by Review by: J. R. Guard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fundamenta Mathematicae: A Reduction of

✍ Review by: J. R. Guard 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 191 KB

A Formal Theorem in Church's Theory of T

✍ Review by: Leon Henkin 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 177 KB