| MATHEMATICAL LOGIC FOR COMPUTER SCIENCE (1047636 β) | 2nd - 2nd | ENG | Computer Science (33508) | Curriculum unico |
| METODI MATEMATICI PER L'INFORMATICA (10621297 β) | 1st - 1st | ITA | Computer Science (33503) | Curriculum unico |
| LOGICS AND REASONING (10620665 β) | 1st - 2nd | ENG | Computer Science (33508) | Curriculum unico |
| LOGICS AND REASONING (10620665 β) | 1st - 2nd | ENG | Computer Science (33508) | Curriculum unico |
| LOGICA MATEMATICA (1022365 β) | 3rd - 1st | ITA | Mathematics (33592) | Storia, didattica e fondamenti |
| MATHEMATICAL LOGIC FOR COMPUTER SCIENCE (1047636 β) | 2nd - 2nd | ENG | Computer Science (33508) | Curriculum unico |