✦ LIBER ✦

On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functionsby J. C. C. McKinsey

✍ Scribed by Review by: Paul Bernays

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Postulates for the Calculus of Binary Re

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

Proof of the Independence of the Primiti

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

A Solution of the Decision Problem for t

✍ Review by: W. T. Parry 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 306 KB

On the Number of Complete Extensions of

✍ J. C. C. McKinsey 📂 Article 📅 1944 🏛 Association for Symbolic Logic 🌐 English ⚖ 366 KB

On the Logic of Imperativesby Albert Hof

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

On the Syntactical Construction of Syste

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