✦ LIBER ✦

Banishing the Rule of Substitution for Functional Variablesby Leon Henkin

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Banishing the Rule of Substitution for F

✍ Leon Henkin 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 679 KB

The Completeness of the First-Order Func

✍ Review by: W. Ackermann 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 188 KB

The Completeness of the First-Order Func

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

Completeness of the Functional Calculus

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

Algebraic Treatment of the Functional Ca

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