國立虎尾科技大學 |

登入

回首頁

Logica.. Volume 2,. Incompletezza, t...

Abrusci, Vito Michele.

Logica.. Volume 2,. Incompletezza, teoria assiomatica degli insiemi

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logica./ by Vito Michele Abrusci, Lorenzo Tortora de Falco.
作者:	Abrusci, Vito Michele.
其他作者:	Tortora de Falco, Lorenzo.
出版者:	Milano :Springer Milan : : 2018.,
面頁冊數:	xiii, 439 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Set theory. -
電子資源:	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)

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別