Teoria della logica del prim'ordine

Riferimento: 9788843055142

Editore: Carocci
Autore: Iacona Andrea, Cavagnetto Stefano
Collana: Le bussole
In commercio dal: 16 Settembre 2010
Pagine: 128 p., Libro in brossura
EAN: 9788843055142
12,00 €
Quantità
Disp. in 4/5 gg lavorativi

  In caso di disponibilità non immediata, i giorni indicati fanno riferimento

al tempo che si dovrà attendere prima che il prodotto venga spedito.


Descrizione

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.