✦ LIBER ✦

The Decidability of Certain Intermediate Propositional Logicsby C. G. McKay

✍ Scribed by Review by: T. Umezawa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Non-Separability of a Certain Finite

✍ Review by: T. Umezawa 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 215 KB

A Class of Decidable Intermediate Propos

✍ C. G. McKay 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 241 KB