Scheda: 48/182 |
Livello bibliografico | Monografia | |
Tipo documento | Testo a stampa | |
Autore principale | Palladino, Dario | |
Titolo | Logica e teorie formalizzate : completezza, incompletezza, indecidibilità / Dario Palladino | |
Pubblicazione | Roma : Carocci, 2004 |
|
Descrizione fisica | 202 p. ; 22 cm. | |
Collezione | Università ; 487 | |
Numeri |
·
[ISBN] 8843029002
·
[ISBN] 9788843029006 1. rist. 2009
·
[BNI] 2004-7525
|
|
Nomi |
·
[Autore] Palladino, Dario
|
|
Soggetti |
·
Logica
|
|
Classificazione Dewey |
·
160 (21.) LOGICA
|
|
Lingua di pubblicazione | ITALIANO | |
Paese di pubblicazione | ITALIA | |
Provenienza | IT - IT-000000 | |
Codice identificativo | UBO2396908 |
Biblioteca | Collocazione | Inventario | Numero dei volumi o consistenze dei periodici | Tipo di fruizione |
---|---|---|---|---|
Biblioteca centrale della Regione siciliana | 3 44.B.118. | 000646630 / 1 v. | consultazione,prestito,fotoriproduzione |