La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm.

• Record Nr.: UNIORUON00381211
• Autore: LOLLI, Gabriele
• ISBN: 88-15-01256-7
• Disciplina: 511.3
• Soggetti: LOGICA MATEMATICA; CALCOLO
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia