The course of Theorems on Logic 2 part of the program in Philosophical Sciences (MA level) and it is included among the characterising training activities. Upon completion of the course students will have a good knowledge of recursion theory and will have understood the links between logic and arithmetic through the study of Godel’s incompleteness theorems.