I am emeritus professor at Sapienza University of Rome. I published the following books in Italian and English: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Co-author with Mirella Capozzi, Breve storia della logica: Dall’Umanesimo al primo Novecento (Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022); The Theory of Gödel (Springer, 2022).