Teoria della logica del primo ordine

Sinossi

Quali sono le proprietà essenziali della logica del primo ordine? Come funziona la semantica del suo linguaggio? Che cosa c’entra la logica del primo ordine con l’aritmetica, la geometria o la teoria degli insiemi? Queste sono domande che si presentano a chi abbia acquisito un minimo di familiarità con la logica e sia interessato a saperne di più. Una riflessione approfondita sulla logica del primo ordine è il passo successivo, che porta dritto al cuore della materia. La logica del primo ordine è la macchina formale più solida, completa e versatile che sia mai stata concepita.