Logica

Riferimento: 9788847039674

Editore: Springer Verlag
Autore: Lorenzo Tortora De Falco, Vito Michele Abrusci
Collana: Unitext
In commercio dal: 2018
Pagine: 439 p., Libro in brossura
EAN: 9788847039674
29,99 €
Quantità
Non disponibile

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

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


Descrizione

Questo secondo volume, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.