Insegnamenti / Teachings

A.A. 2025/2026

• [SST0071] ADVANCED MATHEMATICAL LOGIC, incluso nell'attività didattica ADVANCED ALGEBRA AND MATHEMATICAL LOGIC (Matematica e Applicazioni - Mathematics and Applications)

A.A. 2024/2025

• [SST0071] ADVANCED MATHEMATICAL LOGIC, incluso nell'attività didattica ADVANCED ALGEBRA AND MATHEMATICAL LOGIC (MATHEMATICS AND APPLICATIONS)
• [ST0928] COMPUTABILITY AND COMPLEXITY (MATHEMATICS AND APPLICATIONS)

A.A. 2023/2024

• [ST1339] ADVANCED MATHEMATICAL LOGIC, incluso nell'attività didattica ADVANCED ALGEBRA AND MATHEMATICAL LOGIC (MATHEMATICS AND APPLICATIONS)
• [ST0928] COMPUTABILITY AND COMPLEXITY (MATHEMATICS AND APPLICATIONS)