LEADER 02592nam 22004575 450 001 9910392742503321 005 20200704012830.0 010 $a88-470-3968-1 024 7 $a10.1007/978-88-470-3968-1 035 $a(CKB)4100000007158936 035 $a(DE-He213)978-88-470-3968-1 035 $a(PPN)232468540 035 $a(EXLCZ)994100000007158936 100 $a20181124d2018 u| 0 101 0 $aita 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogica $eVolume 2 - Incompletezza, teoria assiomatica degli insiemi /$fby Vito Michele Abrusci, Lorenzo Tortora de Falco 205 $a1st ed. 2018. 210 1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2018. 215 $a1 online resource (XIII, 439 pagg.) 225 1 $aLa Matematica per il 3+2,$x2038-5722 ;$v111 311 $a88-470-3967-3 327 $a1 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. 330 $aL'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, 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. 410 0$aLa Matematica per il 3+2,$x2038-5722 ;$v111 606 $aMathematical logic 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aMathematical logic. 615 14$aMathematical Logic and Foundations. 615 24$aMathematical Logic and Formal Languages. 676 $a511.3 700 $aAbrusci$b Vito Michele$4aut$4http://id.loc.gov/vocabulary/relators/aut$044476 702 $aTortora de Falco$b Lorenzo$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910392742503321 996 $aLogica$91750452 997 $aUNINA