Ruolo della logica nella storia dell'Informatica di Mirco Babini