Mathematical Logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Its inception was motivated by the study of foundations of mathematics and it has found applications in many areas, specially in Theoretical Computer Science. The four pillars of Mathematical Logic are Set Theory, Recursion Theory, Model Theory and Proof Theory. This school intends to cover all such subjects, on different levels and with different applications. The proposed tree basic courses have the great advantage of requiring no or little prior knowledge.