Per visualizzare il file, fai click su questo link: Exercise_local_logics_withSolutions.pdf