The course will be divided into two parts:
16 hours delivered by Prof. Maria Emilia Maietti on categorical logic
32 hours delivered by Prof. Silvia Crafa on constructive mathematics and computability
as presented in
https://www.math.unipd.it/~maietti/2lo/ann2lo24.pdf
16 hours delivered by Prof. Maria Emilia Maietti on categorical logic
32 hours delivered by Prof. Silvia Crafa on constructive mathematics and computability
as presented in
https://www.math.unipd.it/~maietti/2lo/ann2lo24.pdf
- Docente: Silvia Crafa
- Docente: Maria Emilia Maietti