LOGICA MATEMATICA

A.A 2003/04

Dispense a cura di A.Labella e G.Bagni

---

Intestazione	Insiemi
Numeri naturali	Logica degli enunciati
Logica dei predicati	Risoluzione
Appendice A	Appendice B
Bibliografia	Appendice C

---

N.B. Una copia cartacea delle dispense si trova presso la copisteria di Via dei Marruccini.