Current courses
2025 Assiomi nella matematica, laura magistrale in filosofia, Università di Pisa.
2025 Logica, laura triennale in filosofia, Università di Pisa.
Old Courses: Logic I, Logic II, Set Theory, Forcing, Model Theory, Modal Logic, Non-classical Logic, Philosophical Logic, Philosophy of Mathematics, Foundations of Mathematics, Independence in Set Theory, Meta-mathematics.