Il corso introduce gli studenti alle principali problematiche della logica contemporanea, fornendo le conoscenze basilari relative a: logica enunciativa e dei predicati classica (con cenni alle logiche non classiche); alberi di refutazione.
- Trainer/in: PIERLUIGI MINARI