Mututato da: B027820 - LOGICA MATEMATICA

Introduzione alla logica matematica.

Vedremo: logica Booleana e logica del primo ordine (tempo permettendo, il primo teorema di incompletezza di Goedel)