國立虎尾科技大學 |

Logica = Volume 2 - Incompletezza, teoria assiomatica degli insiemi /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Logica / by Vito Michele Abrusci, Lorenzo Tortora de Falco.
Reminder of title:	Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
Author:	Abrusci, Vito Michele.
other author:	Tortora de Falco, Lorenzo.
Description:	XIII, 439 pagg.online resource. :
Contained By:	Springer Nature eBook
Subject:	Mathematical logic. -
Online resource:	https://doi.org/10.1007/978-88-470-3968-1
ISBN:	9788847039681

Logica = Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
Abrusci, Vito Michele.

Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemi /[electronic resource] :by Vito Michele Abrusci, Lorenzo Tortora de Falco. - 1st ed. 2018. - XIII, 439 pagg.online resource. - La Matematica per il 3+2,1112038-5722 ;. - La Matematica per il 3+2,84.

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.

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, 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.

ISBN: 9788847039681

Standard No.: 10.1007/978-88-470-3968-1doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Logica = Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
LDR:02220nam a22003975i 4500 001 988634
003 DE-He213
005 20200704012830.0
007 cr nn 008mamaa
008 201225s2018 it | s |||| 0|ita d
020 $a 9788847039681 $9 978-88-470-3968-1
024 7 $a 10.1007/978-88-470-3968-1 $2 doi
035 $a 978-88-470-3968-1
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
100 1 $a Abrusci, Vito Michele. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1211336
245 1 0 $a Logica $h [electronic resource] : $b Volume 2 - Incompletezza, teoria assiomatica degli insiemi / $c by Vito Michele Abrusci, Lorenzo Tortora de Falco.
250 $a 1st ed. 2018.
264 1 $a Milano : $b Springer Milan : $b Imprint: Springer, $c 2018.
300 $a XIII, 439 pagg. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a La Matematica per il 3+2, $x 2038-5722 ; $v 111
505 0 $a 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.
520 $a 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, 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.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Tortora de Falco, Lorenzo. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1211337
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9788847039674
830 0 $a La Matematica per il 3+2, $x 2038-5722 ; $v 84 $3 1253905
856 4 0 $u https://doi.org/10.1007/978-88-470-3968-1
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)