✦ LIBER ✦

[Lecture Notes in Computer Science] Correct Reasoning Volume 7265 || The Gödel-Tarski Translations of Intuitionistic Propositional Formulas

✍ Scribed by Erdem, Esra; Lee, Joohyung; Lierler, Yuliya; Pearce, David

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

✍ Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 228 KB