✦ LIBER ✦

A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic

✍ Scribed by Kosta Došen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the existence property for int

✍ L. M. Doorman 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

A Note on Lancaster's Procedure for the

✍ James A. Koziol 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 338 KB 👁 2 views