si tratta di un corso di base, introduttivo alla logica moderna, i suo concetti e metodi, gli strumenti formali. In particolare, deduzione naturale di Gentzen Prawitz per il calcolo proposizionale e calcolo dei predicati del prim'ordine, classico ed intuizionista; semantica di Tarski per il calcolo dei predicati classico, semantica di Kripke per la logica intuizionista e per i sistemi proposizionali modali normali