✦ LIBER ✦

[Lecture Notes in Computer Science] Logic and Its Applications Volume 7750 || The Birth of Proof: Modality and Deductive Reasoning

✍ Scribed by Lodaya, Kamal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

✍ Lodaya, Kamal 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 175 KB

[Lecture Notes in Computer Science] Comp

✍ Bradfield, Julian 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 44 KB

[Lecture Notes in Computer Science] Logi

✍ Fermüller, Christian G.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 224 KB

[Lecture Notes in Computer Science] Mach

✍ Paliouras, Georgios; Karkaletsis, Vangelis; Spyropoulos, Constantine D. 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 173 KB

[Lecture Notes in Computer Science] Logi

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 753 KB

[Lecture Notes in Computer Science] Lect

✍ Bezhanishvili, Nick; Goranko, Valentin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 379 KB