Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemi /

• Κύριοι συγγραφείς: Abrusci, Vito Michele (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Tortora de Falco, Lorenzo (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: Italian
• Έκδοση: Milano : Springer Milan : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: La Matematica per il 3+2, 111
• Θέματα: Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, present...

Πίνακας περιεχομένων:

• 1 Introduzione alla Parte I
• 2 Decidibilità e risultati fondamentali di teoria della ricorsività
• 3 L'aritmetica di Peano
• 4 Introduzione alla Parte II
• 5 La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF)
• 6 Gli ordinali
• 7 La gerarchia V e l'assioma di Fondazione
• 8 L'assioma di scelta
• 9 I cardinali.