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.
Elements of Computability, Decidability, and Complexity / Alberto Pettorossi
| Elements of Computability, Decidability, and Complexity / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma : Aracne, c2006 |
| Descrizione fisica | ii, 154 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | A01's |
| Soggetto non controllato |
Logica Matematica
Computabilità |
| ISBN | 88-548-0682-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008600120403321 |
Pettorossi, Alberto
|
||
| Roma : Aracne, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Non solo calcoli : domande e risposte sui perchè della matematica / Vinicio Villani ... [et al.]
| Non solo calcoli : domande e risposte sui perchè della matematica / Vinicio Villani ... [et al.] |
| Pubbl/distr/stampa | Milano, : Springer, 2012 |
| Descrizione fisica | XII, 296 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
97-XX - Mathematics education [MSC 2020] |
| Soggetto non controllato |
Analisi matematica
Didattica della matematica Learning and instruction Logica Matematica Probabilità e statistica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0100338 |
| Milano, : Springer, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Non solo calcoli : domande e risposte sui perchè della matematica / Vinicio Villani ... [et al.]
| Non solo calcoli : domande e risposte sui perchè della matematica / Vinicio Villani ... [et al.] |
| Pubbl/distr/stampa | Milano, : Springer, 2012 |
| Descrizione fisica | XII, 296 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
97-XX - Mathematics education [MSC 2020] |
| Soggetto non controllato |
Analisi matematica
Didattica della matematica Learning and instruction Logica Matematica Probabilità e statistica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00100338 |
| Milano, : Springer, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||