L'interazione tra sintassi (linguaggi e calcoli formali) e semantica (interpretazioni e modelli) com'è fondamentale sia per la matematica astratta che per l'informatica teorica.
Linguaggi formali della logica di prim'ordine.
Calcolo della deduzione naturale.
Logica minimale, intuitionista e classica.
Teoremi di coerenza e completezza.
Teoremi di compatezza e di Löwenheim-Skolem.
Modelli e teorie.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| Troelstra, Anne S. & Schwichtenberg, Helmut | Basic Proof Theory. (Edizione 2) | Cambridge University Press | 2000 | 0-521-77911-1 | |
| David, René & Nour, Karim & Raffali, Christophe | Introduction à la Logique. Théorie de la démonstration (Edizione 2) | Dunod | 2004 | 9782100067961 | |
| Cantini, Andrea & Minari, Pierluigi | Introduzione alla logica : linguaggio, significato, argomentazione. (Edizione 1) | Le Monnier | 2009 | 978-88-00-86098-7 | |
| van Dalen, Dirk | Logic and Structure. (Edizione 5) | Springer | 2013 | 978-1-4471-4557-8 | |
| Abrusci, Vito Michele & Tortora de Falco, Lorenzo | Logica. Volume 1 - Dimostrazioni e modelli al primo ordine. (Edizione 1) | Springer | 2015 | 978-88-470-5537-7 | |
| Shoenfield, Joseph R. | Mathematical Logic. (Edizione 2) | Association for Symbolic Logic & A K Peters | 2001 | 1-56881-135-7 | |
| Schwichtenberg, Helmut | Mathematical Logic (lecture notes). | 2012 | http://www.math.lmu.de/~schwicht/lectures/logic/ws12/ml.pdf |
Prova scritta o esame orale a seconda del numero dei candidati che si presentano.
Problems 1
(pdf, en, 1233 KB, 26/10/15)
Problems 2
(pdf, en, 285 KB, 26/11/15)
Solution Question 14
(pdf, en, 123 KB, 11/12/15)
