Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi / / by Vito Michele Abrusci, Lorenzo Tortora de Falco
| Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi / / by Vito Michele Abrusci, Lorenzo Tortora de Falco |
| Autore | Abrusci Vito Michele |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 439 pagg.) |
| Disciplina | 511.3 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 88-470-3968-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910392742503321 |
Abrusci Vito Michele
|
||
| Milano : , : Springer Milan : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica : Volume 1 - Dimostrazioni e modelli al primo ordine / / by Vito Michele Abrusci, Lorenzo Tortora de Falco
| Logica : Volume 1 - Dimostrazioni e modelli al primo ordine / / by Vito Michele Abrusci, Lorenzo Tortora de Falco |
| Autore | Abrusci Vito Michele |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 190 pagg.) |
| Disciplina | 511.3 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 88-470-5538-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1 Introduzione -- 2 Alcune nozioni preliminari -- 3 Dimostrabilità e soddisfacibilità -- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK -- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza. |
| Record Nr. | UNINA-9910392738603321 |
|
Abrusci Vito Michele
|
||
| Milano : , : Springer Milan : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||