Scheda: 1/2 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Lolli, Gabriele scheda di autorità ] | [
Titolo | Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli |
Pubblicazione | Bologna : Il mulino, c1988 |
Descrizione fisica | 209 p. ; 22 cm. |
Collezione | Saggi ; 351 (ID Collana : CFI0000015) |
Lingua di pubblicazione | ita |
Paese di pubblicazione | it |
ISBN | 8815019987 |
Classificazione Dewey | 511.3 - LOGICA SIMBOLICA (LOGICA MATEMATICA) (edizione 20) |
Nomi | [Autore] Lolli, Gabriele [ scheda di autorità ] |
Identificativo record | RAV0038895 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca del Liceo Classico G. Galilei | DEWEY12 511.3 LOLLG 1 | 000006926 IB | consultazione, prestito, fotoriproduzione |
Scheda: 2/2 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Lolli, Gabriele scheda di autorità ] | [
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 (ID Collana : CFI0000015) |
Lingua di pubblicazione | ita |
Paese di pubblicazione | it |
ISBN | 8815012567 |
Numero bibliografia nazionale | IT 89-10178 |
Classificazione Dewey | 511 - GENERALITA' (MATEMATICA) (edizione 19) |
Nomi | [Autore] Lolli, Gabriele [ scheda di autorità ] |
Identificativo record | CFI0109309 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca dell'Istituto tecnico commerciale A. Pacinotti di Pisa | BIBLIOTECA511.3 LOL | 000019027 | consultazione e fotoriproduzione | ||
Biblioteca del Liceo Classico G. Galilei | DEWEY12 511 LOLLG 1 | 000006925 IB | consultazione, prestito, fotoriproduzione |