Logica matematica
Indice
Capitolo 1
Un po' di storia
Capitolo 2
Il calcolo proposizionale
Capitolo 3
Alcune nozioni di algebra universale
Capitolo 4
Il calcolo dei predicati
Capitolo 5
Proprietà che si conservano
Capitolo 6
Costruire modelli con il linguaggio
Capitolo 7
Dedurre teoremi