The Meaning of Proofs The Meaning of Proofs
2022
I teoremi di incompletezza I teoremi di incompletezza
2019
From Logic to Practice From Logic to Practice
2014
Da Euclide a Gödel Da Euclide a Gödel
2011
Guida alla teoria degli insiemi Guida alla teoria degli insiemi
2008