La macchina e le dimostrazioni : Matematica logica e informatica / di LOLLI Gabriele
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Lolli, Gabriele
|
| Titolo: |
La macchina e le dimostrazioni : Matematica logica e informatica / di LOLLI Gabriele
|
| Pubblicazione: | Bologna : Il Mulino, 1987 L a macchina e le d |
| Titolo autorizzato: | Macchina e le dimostrazioni |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990001191930403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 114-E-55 |
| ZIT-125 | |
| Opac: | Controlla la disponibilità qui |