✦ LIBER ✦

Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositionsby J. C. C. McKinsey

✍ Scribed by Review by: Paul Henle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Independence of the Primitive Symbols of

✍ Review by: Frederic B. Fitch 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

On the Independence of Hilbert and Acker

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

Postulates for the Calculus of Binary Re

✍ Review by: Everett J. Nelson 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 379 KB

Independence of the Primitive Symbols of

✍ M. J. Alban 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

The Algebra of Topologyby J. C. C. McKin

✍ Review by: H. E. Vaughan 📂 Article 📅 1944 🏛 Association for Symbolic Logic 🌐 English ⚖ 349 KB

On the Logic of Imperativesby Albert Hof

✍ Review by: Frederic B. Fitch 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB