Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
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)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000163595
電子館藏
1圖書
電子書
EB QA248 .A164 2018 2018
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-88-470-3968-1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login