Scheda: 78/885 |
Livello bibliografico | Monografia | |
Tipo documento | Testo a stampa | |
Autore principale | Lolli, Gabriele | |
Titolo | La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli | |
Pubblicazione | Bologna : Il mulino, \1987! |
|
Descrizione fisica | 155 p. ; 22 cm. | |
Collezione | Saggi ; 311 | |
Numeri |
·
[ISBN] 8815012567
·
[BNI] 89-10178
|
|
Nomi |
·
[Autore] Lolli, Gabriele
|
|
Soggetti |
·
Calcolo
|
|
Classificazione Dewey |
·
160 (21.) LOGICA
·
511.3 (21.) LOGICA SIMBOLICA (LOGICA MATEMATICA)
|
|
Lingua di pubblicazione | ITALIANO | |
Paese di pubblicazione | ITALIA | |
Provenienza | IT - IT-000000 | |
Codice identificativo | CFI0109309 |
Biblioteca | Collocazione | Inventario | Numero dei volumi o consistenze dei periodici | Tipo di fruizione |
---|---|---|---|---|
Biblioteca comunale "G. Traina" di Misilmeri | CDD 160 LOL ma 1987 | 000006851 / 1 v. | consultazione e fotoriproduzione |