Scheda: 46/1078 |
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 (stampa 1988) |
|
Descrizione fisica | 155 p. ; 22 cm. | |
Collezione | Saggi ; 311 | |
Numeri |
·
[ISBN] 8815012567
|
|
Nomi |
·
[Autore] Lolli, Gabriele
|
|
Soggetti | ||
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 | BVE0098121 |
Biblioteca | Collocazione | Inventario | Numero dei volumi o consistenze dei periodici | Tipo di fruizione |
---|---|---|---|---|
Biblioteca comunale "G. Traina" di Misilmeri | CDD 511.3 LOL ma 1988 | 000009457 / 1. v. | consultazione e fotoriproduzione |