LOGICA E INFORMATICA - Tenuto da Pierluigi Graziani - A.A. 2016/2017