國立高雄大學圖資館 |

Language: English

Back

Logica.Volume 2,Incompletezza, teori...

Abrusci, Vito Michele.

Logica.Volume 2,Incompletezza, teoria assiomatica degli insiemi

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logica.by Vito Michele Abrusci, Lorenzo Tortora de Falco.
Author:	Abrusci, Vito Michele.
other author:	Tortora de Falco, Lorenzo.
Published:	Milano :Springer Milan :2018.
Description:	xiii, 439 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Set theory.
Online resource:	https://doi.org/10.1007/978-88-470-3968-1
ISBN:	9788847039681$q(electronic bk.)

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. - Milano :Springer Milan :2018. - xiii, 439 p. :ill., digital ;24 cm. - La matematica per il 3+2,v.1112038-5722 ;. - La matematica per il 3+2 ;v.113..

1 Introduzione alla Parte I -- 2 Decidibilita e risultati fondamentali di teoria della ricorsivita -- 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 ricorsivita, 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$q(electronic bk.)

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

190892
Set theory.

LC Class. No.: QA248

Dewey Class. No.: 511.322

Logica.Volume 2,Incompletezza, teoria assiomatica degli insiemi
LDR:01948nmm a2200349 a 4500 001 547359
003 DE-He213
005 20190503111530.0
006 m d
007 cr nn 008maaau
008 190709s2018 it s 0 ita d
020 $a 9788847039681$q(electronic bk.)
020 $a 9788847039674$q(paper)
024 7 $a 10.1007/978-88-470-3968-1 $2 doi
035 $a 978-88-470-3968-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA248
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.322 $2 23
090 $a QA248 $b .A164 2018
100 1 $a Abrusci, Vito Michele. $3 826613
245 1 0 $a Logica. $n Volume 2, $p Incompletezza, teoria assiomatica degli insiemi $h [electronic resource] / $c by Vito Michele Abrusci, Lorenzo Tortora de Falco.
260 $a Milano : $b Springer Milan : $b Imprint: Springer, $c 2018.
300 $a xiii, 439 p. : $b ill., digital ; $c 24 cm.
490 1 $a La matematica per il 3+2, $x 2038-5722 ; $v v.111
505 0 $a 1 Introduzione alla Parte I -- 2 Decidibilita e risultati fondamentali di teoria della ricorsivita -- 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 ricorsivita, 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 Set theory. $3 190892
650 1 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Tortora de Falco, Lorenzo. $3 826614
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a La matematica per il 3+2 ; $v v.113. $3 825960
856 4 0 $u https://doi.org/10.1007/978-88-470-3968-1
950 $a Mathematics and Statistics (Springer-11649)