La macchina e le dimostrazioni matematica, logica e informatica - Lolli , Gabriele (Saggi)