Logica : : Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Mentés helye:
Szerző: | |
---|---|
Testületi szerző: | |
Közreműködő(k): | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | olasz |
Megjelenés: |
Milano : : Springer Milan : : Imprint: Springer,,
2018
|
Kiadás: | 1st ed. 2018. |
Sorozat: | La Matematica per il 3+2,, ISSN 2038-5722 ; ; 111 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-88-470-3968-1 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
id |
opac-EUL01-000979068 |
---|---|
collection |
e-book |
institution |
L_200 EUL01 |
spelling |
Abrusci, Vito Michele szerző aut http://id.loc.gov/vocabulary/relators/aut 1949- Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi by Vito Michele Abrusci, Lorenzo Tortora de Falco. 1st ed. 2018. Milano : Springer Milan : Imprint: Springer, 2018 XIII, 439 pagg. online forrás szöveg txt rdacontent számítógépes c rdamedia távoli hozzáférés cr rdacarrier szövegfájl PDF rda La Matematica per il 3+2, 2038-5722 ; 111 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. Nyomtatott kiadás: ISBN 9788847039674 Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. könyv e-book Logic, Symbolic and mathematical. Computer science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. elektronikus könyv Tortora de Falco, Lorenzo. szerző aut http://id.loc.gov/vocabulary/relators/aut SpringerLink (Online service) közreadó testület Online változat https://doi.org/10.1007/978-88-470-3968-1 EUL01 |
language |
Italian |
format |
Book |
author |
Abrusci, Vito Michele, szerző(1949-) |
spellingShingle |
Abrusci, Vito Michele, szerző(1949-) Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi La Matematica per il 3+2,, ISSN 2038-5722 ; ; 111 Logic, Symbolic and mathematical. Computer science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. elektronikus könyv |
author_facet |
Abrusci, Vito Michele, szerző(1949-) Tortora de Falco, Lorenzo., szerző SpringerLink (Online service), közreadó testület |
author2 |
Tortora de Falco, Lorenzo., szerző |
author_corporate |
SpringerLink (Online service), közreadó testület |
author_sort |
Abrusci, Vito Michele 1949- |
title |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi |
title_sub |
Volume 2 - Incompletezza, teoria assiomatica degli insiemi |
title_short |
Logica : |
title_full |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi by Vito Michele Abrusci, Lorenzo Tortora de Falco. |
title_fullStr |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi by Vito Michele Abrusci, Lorenzo Tortora de Falco. |
title_full_unstemmed |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi by Vito Michele Abrusci, Lorenzo Tortora de Falco. |
title_auth |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi |
title_sort |
logica volume 2 incompletezza teoria assiomatica degli insiemi |
series |
La Matematica per il 3+2,, ISSN 2038-5722 ; ; 111 |
series2 |
La Matematica per il 3+2, |
publishDate |
2018 |
publishDateSort |
2018 |
physical |
XIII, 439 pagg. : online forrás |
edition |
1st ed. 2018. |
isbn |
978-88-470-3968-1 |
issn |
2038-5722 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA8 |
callnumber-raw |
979068 |
callnumber-search |
979068 |
topic |
Logic, Symbolic and mathematical. Computer science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. elektronikus könyv |
topic_facet |
Logic, Symbolic and mathematical. Computer science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. elektronikus könyv Logic, Symbolic and mathematical. Computer science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. |
url |
https://doi.org/10.1007/978-88-470-3968-1 |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3 |
dewey-sort |
3511.3 |
dewey-raw |
511.3 |
dewey-search |
511.3 |
first_indexed |
2023-12-27T20:30:31Z |
last_indexed |
2023-12-30T20:59:23Z |
recordtype |
opac |
publisher |
Milano : : Springer Milan : : Imprint: Springer, |
_version_ |
1786738233394069504 |
score |
13,365292 |
generalnotes |
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. |