La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
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. |
| Disciplina: | 511 |
| Soggetto topico: | Calcolo |
| Logica matematica | |
| ISBN: | 8815012567 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Italiano |
| Record Nr.: | 991003597719707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
Saggi [Il Mulino] ; 311