| OPERE: | | | | |
| 1. | La Dialettica della struttura originaria | Il Poligrafo | Padova | 2003 |
| 2. | Introduzione alla logica formale | Cafoscarina | Venezia | 2003 |
| 3. | Che cos'è la dialettica hegeliana? Un'interpretazione analitica del metodo | Il Poligrafo | Padova | 2005 |
| 4. | Teorie dell'assurdo. I rivali del principio di Non-Contraddizione | Carocci | Roma | 2006 |
| 5. | Meaning, Metaphysics and Contradiction | | | 2006 |
| 6. | How to Sell a Contradiction. The Logic and Metaphysics of inconsistency | King's College Publications | London | 2007 |
| 7. | How to Sell a Contradiction. The Logic and Metaphysics of Inconsistency | King's College Publications | London | 2007 |
| 8. | Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist's Dilemma | | | 2007 |
| 9. | Αδύνατον and Material Exclusion | | | 2008 |
| 10: | Logica da zero a Gödel | Laterza | Bari | 2008.11 |
| 11. | There's Something About Gödel. The Complete Guide to the Incompleteness Theorem | Wiley-Blackwell | Dordrecht | 2009 |
| 12: | Tutti pazzi per Gödel! La guida completa al teorema di incompletezza | Laterza | Bari | 2009.03 |
| 13. | L'esistenza non è logica. Dal quadrato rotondo ai mondi impossibili | Laterza | Bari | 2010 |
| 14. | Ontology and Metaontology. A Contemporary Guide | Bloomsbury Publishing | London | 2015 |
| 15: | Che cos'è una contraddizione | Carocci | Roma | 2015.03 |
| 16. | Logica con i social network | Springer-Verlag | Roma | 2019 |
