Books

The Meaning of Proofs The Meaning of Proofs
2022
I teoremi di incompletezza I teoremi di incompletezza
2019
Da Euclide a Gödel Da Euclide a Gödel
2011