Quali sono le proprietà essenziali della logica del prim'ordine? Come funziona la semantica del suo linguaggio? Che rapporto c'è tra la logica del prim'ordine e l'aritmetica, la geometria o la teoria degli insiemi? Il libro risponde a queste domande, presentando in modo accessibile un nucleo essenziale di conoscenze sulla logica del prim'ordine che costituiscono lo sfondo di molte delle questioni filosofiche e matematiche che la riguardano.