| 3 | | [frontespizio] |
| 4 | | [colophon] |
| | | {testo} |
| 5 | 0. | Esordio |
| 7 | Lezione 0. | La logica matematica e le sue branche |
| 11 | 1. | I linguaggi formali del primo ordine |
| 11 | Lezione 1.1. | Alfabeto di un linguaggio formale del primo ordine |
| 18 | Lezione 1.2. | Definizioni induttive. Termini di un linguaggio formale del primo ordine |
| 26 | Lezione 1.3. | Formule e Sequenti di un linguaggio formale del primo ordine |
| 37 | | Esercitazioni |
| 41 | 2. | Primi elementi di teoria classica degli insiemi |
| 41 | Lezione 2.1. | La concezione classica |
| 51 | Lezione 2.2. | I principi della teoria degli insiemi |
| 62 | Lezione 2.3. | Connettivi, quantificatori, proprietà, relazioni e funzioni |
| 71 | | Esercitazioni |
| 73 | 3. | Semantica logica classica del primo ordine |
| 73 | Lezione 3.1. | Realizzazioni classiche e interpretazioni |
| 79 | Lezione 3.2. | Valutazioni classiche |
| 88 | Lezione 3.3. | Modelli, leggi logiche e conseguenze logiche |
| 101 | | Esercitazioni |
| 103 | 4. | Intermezzo: sulle proposizioni categoriche della logica tradizionale |
| 103 | Lezione 4.1. | Proposizioni categoriche |
| 110 | Lezione 4.2. | Conversiones, reductio ad subalternatam, sillogismi |
| 119 | 5. | Calcoli per la logica classica del primo ordine |
| 119 | Lezione 5.1. | Calcoli per la logica classica del primo ordine, I |
| 126 | Lezione 5.2. | Calcolo delle formule per la logica classica del primo ordine, II |
| 133 | Lezione 5.3. | Gli assiomi e le regole del calcolo dei sequenti di Gentzen |
| 147 | Lezione 5.4. | Il calcolo dei sequenti per la logica classica del primo ordine |
| 159 | | Esercitazioni |
| 161 | 6. | Funzioni ricorsive e teoremi limitativi |
| 161 | Lezione 6.1. | Le funzioni ricorsive e i teoremi limitativi |
| 169 | Lezione 6.2. | La gödelizzazione e i teoremi limitativi |
| 173 | 7. | Dimostrazione del teorema dell'analisi canonica |
| 185 | | Bibliografia |
| 187 | | Indice |
| 187 | | _ |
| 188 | | [tipografia] |
| 188 | | ___ |
