Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut
- Un calcolo dei sequenti per le logiche rilevanti
- Un calcolo di sequenti etichettato per il futuro lineare discreto
- Un calcolo di sequenti etichettato per la logica inquisitiva
