biblioest, Università degli Studi di Trieste e delle provincie del Friuli Venezia Giulia, Sebina, biblioteca, opac, catalogo biblioteca, Friuli, Regione Friuli, biblioteche del Friuli Venezia Giulia, Catalogo biblioteca, Prestito libri, prestito ebook, reteindaco
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.
