Scheda dettagliata Catalogo del Polo Regionale di Sicilia Ricerca: Collezione = Università >> Collezione = universita >> Anno di pubblicazione = 2004 Scheda: 49/62 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] IT 2004-7525 Nomi: [Autore] Palladino, Dario Soggetti: Logica Classificazione Dewey: 160 (21.) Lingua di pubblicazione: ita Paese di pubblicazione: it Provenienza: IT - IT-000000 Codice identificativo: UBO2396908 Localizzazioni: Biblioteca centrale della Regione siciliana - BP3 44.B.118. - BP 0006466305 B 1 v. - A - 20050519 - 20050519