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: metodo breve / Daniele Mundici
| Logica: metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano, : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compattezza e modelli nonstandard
Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0084613 |
Mundici, Daniele
|
||
| Milano, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica: metodo breve / Daniele Mundici
| Logica: metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano, : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compattezza e modelli nonstandard
Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel |
| ISBN | 978-88-470-1883-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0243869 |
|
Mundici, Daniele
|
||
| Milano, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica: metodo breve / Daniele Mundici
| Logica: metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano, : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compattezza e modelli nonstandard
Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel |
| ISBN | 978-88-470-1883-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00243869 |
|
Mundici, Daniele
|
||
| Milano, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica: metodo breve / Daniele Mundici
| Logica: metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano, : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compattezza e modelli nonstandard
Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00084613 |
|
Mundici, Daniele
|
||
| Milano, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||