Aims and outcomes
This is a traditional course in Mathematical Logic. Since classical logic and ZF set theory are the usual context to develop formal mathematical theories of any sort, the course aims at providing the tools to master all the involved notions, also by showing a number of examples. The last part introduces a few aspects of intuitionistic logic and constructive mathematics, to show how the study of logic is intimately related with the study of computable functions, i.e., computer programs. Also, the limits of logic and formal reasoning are explored in the presentation of the celebrated Goedel's incompleteness theorems.