Introduzione alla Logica Matematica – Cagliari

Argomenti del programma: Elementi di teoria degli insiemi: cardinalità di un insieme, il Teorema di Cantor-Bernstein, il paradosso di Russell e gli assiomi di Zermelo-Fraenkel, il teorema di Hartogs. La logica proposizionale: tavole di verità, calcolo a la Hilbert, teorema di deduzione, correttezza e completezza.