Obiettivi Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli. Curriculum Teorico Informazioni Modellistico-applicativo Informazioni