O. M. ยท Odysseus Makridis Epictetus
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic | 978-1-84890-266-4 (1-84890-266-2) | 2018 |
| Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic | 978-1-84890-267-1 (1-84890-267-0) | 2018 |