✦ LIBER ✦

Solution of a Problem of Leon Henkin

✍ Scribed by M. H. Lob

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a Theorem of Vaughtby Leon Henkin

✍ Review by: Dana Scott 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 187 KB

Sums of Squaresby Leon Henkin; G. Kreise

✍ Review by: Abraham Robinson 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 324 KB

An Algebraic Characterization of Quantif

✍ Review by: Wilhelm Ackermann 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 319 KB

A Generalization of the Notion of ω-Cons

✍ Review by: W. W. Tait 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

A Generalization of the Concept of ω-Com

✍ Review by: William W. Tait 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 107 KB

Completeness in the Theory of Typesby Le

✍ Review by: Rózsa Péter 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 314 KB