✦ LIBER ✦

The Completeness of the First-Order Functional Calculusby Leon Henkin

✍ Scribed by Review by: W. Ackermann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Completeness of the First-Order Func

✍ Leon Henkin 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 764 KB

Completeness in the Theory of Typesby Le

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

Completeness of the Functional Calculus

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

Completeness of the functional calculus

✍ J. Reichbach 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 270 KB

EQ and the First Order Functional Calcul

✍ Review by: Stig Kanger 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

Banishing the Rule of Substitution for F

✍ Review by: Alonzo Church 📂 Article 📅 1955 🏛 Association for Symbolic Logic 🌐 English ⚖ 302 KB