LOGICS AND COMPUTER SCIENCE - Lecturer: Pierluigi Graziani - A.Y. 2015/2016