Il programma del corso consiste nel contenuto delle dispense disponibili in rete.

Non vanno preparati i seguenti argomenti:

¥ Fondatezza formalizzata e assioma della scelta

¥ Dimostrazione del teorema di Cantor-Schršder-Bernstein

¥ Estensioni di un linguaggio ed equivalenza elementare di strutture

¥ Calcolo proposizionale