Testi adottati indispensabili ai fini dell'esame:

1. Insiemi, numeri e polinomi, di M.Fontana e S.Gabelli, ed. CISU
2. Introduzione alla logica e al linguaggio matematico di G. Bagni, D. Gorla, A. Labella, ed. McGraw-Hill (seconda edizione)
3. Note ed esercizi per il canale E-O

Ulteriori riferimenti:

1. Algebretta. di B.Scimemi, ed. Decibel/Zanichelli
2. Gruppi, di B.Scimemi, ed. Decibel Zanichelli  (cap. 1,2,3)
3. Theory and problems of Set Theory and related topics, di S.Lipschutz, ed. Schaum
4. Teoria degli insiemi da un punto di vista elementare, di Paul Halmos, ed. Feltrinelli
5. Logica per Informatica, di A. Asperti e A. Ciabattoni, Ed. McGraw-Hill
6. Dispense del Prof. Lolli
7. Logica Matematica per l'Informatica, di M.Ben-Ari, ed. UTET Università