Anno accademico 2022-23:
- Complementi di Logica (con i proff. Andretta e Viale)
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Logica Matematica 1
- Logica (informatica), corso B
Anno accademico 2021-22:
- Complementi di Logica (con il prof. Andretta)
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Logica (informatica), corso B
Anno accademico 2020-21:
- Complementi di Logica
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
Anno accademico 2019-20:
- Complementi di Logica
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
Anno accademico 2018-19:
- Complementi di Logica
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
- Matematica II (chimica), corso A (con il prof. Buzano)
Anno accademico 2017-18:
- Complementi di Logica
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
- Matematica II (chimica), corso A (con la prof.ssa Bertone)
Anno accademico 2016-17:
- Complementi di Logica (con il prof. Viale)
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
Anno accademico 2015-16:
- Istituzioni di Logica Matematica (con il prof. Andretta)
- Complementi di Logica (con il prof. Zambella)
- Matematica Discreta e Logica (informatica), corso A (con la prof.ssa Roggero)
Anno accademico 2014-15:
- Elementi di logica (con il prof. Zambella)
- Complementi di logica
Slides (parte 1 e parte 2) del corso istituzionale di Teoria degli insiemi, Scuola Estiva di Logica di Gargnano.