Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logica.. Volume 2,. Incompletezza, t...
~
Abrusci, Vito Michele.
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.
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
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.111..
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
Standard No.: 10.1007/978-88-470-3968-1doiSubjects--Topical Terms:
579942
Set theory.
LC Class. No.: QA248
Dewey Class. No.: 511.322
Logica.. Volume 2,. Incompletezza, teoria assiomatica degli insiemi
LDR
:01948nam a2200349 a 4500
001
930254
003
DE-He213
005
20190503111530.0
006
m d
007
cr nn 008maaau
008
190627s2018 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
1211336
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 :
$c
2018.
$b
Springer Milan :
$b
Imprint: Springer,
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
579942
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.
$3
1211337
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer eBooks
830
0
$a
La matematica per il 3+2 ;
$v
v.111.
$3
1211338
856
4 0
$u
https://doi.org/10.1007/978-88-470-3968-1
950
$a
Mathematics and Statistics (Springer-11649)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login