I’m a logician. My main interests are Proof Theory, Algebraic Logic and the Philosophy of Logic and Mathematics, especially Constructive Reasoning.
Modules running in the period selected: 5.
Click on the module to see the timetable and course details.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Title | Starting date |
---|---|
Reducing complexity in algebra, logic, combinatorics (REDCOM) | 1/1/20 |
A new dawn of Intuitionism: mathematical and philosophical advances | 12/1/17 |
Office | Collegial Body |
---|---|
member | Innovation and sustainability in the industrial production of food Teaching Committee - Department Biotechnology |
******** CSS e script comuni siti DOL - frase 9957 ********p>