La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm.
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
LOLLI, Gabriele
|
| Titolo: |
La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm.
|
| Disciplina: | 511.3(Principi generali. Logica matematica(Logica simbolica)) |
| Soggetto topico: | LOGICA MATEMATICA |
| CALCOLO | |
| Titolo autorizzato: | Macchina e dimostrazioni |
| ISBN: | 88-15-01256-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Italiano |
| Record Nr.: | UON00381211 |
| Lo trovi qui: | Univ. L'Orientale |
| Opac: | Controlla la disponibilità qui |
Serie:
Saggi Bologna . -Il Mulino ; 311