Logica Matematica 2013-14

1. Logica parte I (completezza compattezza, etc)
2. Logica parte II (calcolabilita', teoremi di Godel)
3. Handbook of Mathematical Logic, edited by J. Barwise, North-Holland 1977. Sezione A.1. "An introduction to first order logic".
4. Raymond M. Smullyan, First-Order Logic, Dover 1968.
   (altri approcci al teorema di completezza.)
5. Tarski, Mostowski, Robinson, Undecidable theories.
6. Appunti sulla teoria dei modelli (non in programma).
7. Vecchi appunti: deduzione naturale, completezza, etc.
   (obsoleto)
8. Teorema di König e Tableaux (opzionale)
9. Ultraprodotti e teorema di compattezza.  (opzionale)
10. La verita' matematica da Kant a Gödel. (opzionale)