The aim of the course is to present propositional calculus and calculus in axiomatic terms and to discuss the basic problems of set theory. The student will learn the classical logic system and see how it applies to the formalization of mathematical theories. The student will also learn about the concept of proof and consequence and their metalogic properties.
