✦ LIBER ✦

On the Primitive Symbols of Quine's "Mathematical Logic."by Leon Henkin

✍ Scribed by Review by: Steven Orey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Mathematical Inductionby Leon Henkin

✍ Review by: H. Hermes 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 134 KB

A Proof of the Inconsistency of Quine's

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

On a Theorem of Vaughtby Leon Henkin

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

On the Consistency of Quine's New Founda

✍ Review by: Paul Bernays 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 352 KB

Completeness in the Theory of Typesby Le

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

The Completeness of the First-Order Func

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