Logica: metodo breve / Daniele Mundici
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Mundici, Daniele
|
| Titolo: |
Logica: metodo breve / Daniele Mundici
|
| Pubblicazione: | Milano, : Springer, 2011 |
| Titolo uniforme: | Logica: metodo breve |
| 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 | |
| Titolo autorizzato: | Logica: metodo breve |
| ISBN: | 978-88-470-1883-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Italiano |
| Record Nr.: | VAN0243869 |
| Lo trovi qui: | Univ. Vanvitelli |
| Opac: | Controlla la disponibilità qui |
Serie:
Unitext Milano [etc.] . -Springer ; 50