Scheda: 33/35 |
Livello bibliografico | Monografia | |
Tipo documento | Testo a stampa | |
Autore principale | Davis, Martin <1928-2023> | |
Titolo | Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti | |
Pubblicazione | Milano : Adelphi, °2003] |
|
Descrizione fisica | 321 p. ; 22 cm. | |
Collezione | Biblioteca scientifica ; 35 | |
Titolo uniforme | ||
Numeri |
·
[ISBN] 8845917924
·
[BNI] 2004-4533
|
|
Nomi |
·
[Autore] Davis, Martin <1928-2023>
|
|
Soggetti | ||
Classificazione Dewey |
·
511.3 (21.) LOGICA SIMBOLICA (LOGICA MATEMATICA)
|
|
Lingua di pubblicazione | ITALIANO | |
Paese di pubblicazione | ITALIA | |
Provenienza | IT - IT-000000 | |
Codice identificativo | TO01226839 |
Biblioteca | Collocazione | Inventario | Numero dei volumi o consistenze dei periodici | Tipo di fruizione |
---|---|---|---|---|
Biblioteca regionale universitaria di Catania | CL. (Q)/(1)/011/ /.35 | 000342225 / 1 v. | 1-7,9-24,26-43-48,50,-51,53,55,56,57,58,63-65 | consultazione,prestito,fotoriproduzione |
Biblioteca centrale della Regione siciliana | 3 44.C.137. | 000642501 / 1 v. | consultazione,prestito,fotoriproduzione |