Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.