From Logic to Practice More Books by Gabriele Lolli, Marco Panza & Giorgio Venturi

The Meaning of Proofs

2022

I teoremi di incompletezza

2019

Da Euclide a Gödel

2011

Guida alla teoria degli insiemi

2008