LOGICA SIMBOLICA
Capitolo 0 Prerequisiti matematici
Parte I Le basi della logica
Capitolo 1 Logica proposizionale
Capitolo 2 Sistemi deduttivi
Capitolo 3 Logica del Primo Ordine
Capitolo 4 La deduzione naturale al primo ordine
Parte II Argomenti avanzati
Capitolo 5 Le basi della calcolabilità
Capitolo 6 Aritmetica e incompletezza
Capitolo 7 Teorie e modelli
Capitolo 8 Logica intuizionista
Capitolo 9 Il calcolo dei sequenti
Capitolo 10 Normalizzazione
Capitolo 11 Teoria degli insiemi
Il manuale è rivolto agli studenti universitari dei corsi di laurea triennali e magistrali in Informatica e Matematica, nonché a chiunque desideri intraprendere uno studio approfondito della logica simbolica con un’attenzione prevalente agli aspetti matematici rispetto a quelli filosofico-linguistici. Il testo nasce dall’esperienza dell'autore nell’insegnamento della logica simbolica, nonché dalla sua pluriennale attività di ricerca nel campo della logica matematica. Gli argomenti trattati sono stati scelti tra quelli considerati rilevanti a livello sia nazionale sia internazionale - compresi quelli di natura istituzionale - e spaziano dalle nozioni di base della logica simbolica alle tematiche più avanzate come la teoria della dimostrazione e la teoria assiomatica degli insiemi.
Andrea Masini è Professore Ordinario presso il Dipartimento di Informatica dell'Università di Verona.