✦ LIBER ✦

Socratic Proofs and Paraconsistency: A Case Study

✍ Scribed by Andrzej Wiśniewski; Guido Vanackere; Dorota Leszczyńska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating certified code from formal pr

✍ Jesús Aransay; Clemens Ballarin; Julio Rubio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 406 KB

Case study and proofs of ant colony opti

✍ Zhong, J.; Fung, Y.-F. 📂 Article 📅 2012 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 846 KB

Kierkegaard and Socrates: A Study in Phi

✍ Rod Garner 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 160 KB

Review of Kierkegaard and Socrates: A St

✍ Christopher A. P. Nelson 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 81 KB

Extraction, quantification and character

✍ Hari Eswaran; Rathinaswamy B. Govindan; Adrian Furdea; Pam Murphy; Curtis L. Low 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 301 KB

Kierkegaard and Socrates: A Study in Phi

✍ Jonathan Malesic 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 38 KB