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

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.