The course introduces the basic concepts of mathematical logic, including the Axiom of Choice and its equivalents; propositional logic; languages and structures, axioms and theories, models; elements of model theory (Completeness, Compactness, Löwenheim-Skolem theorems, nonstandard models); theory of computability (ChurchTuring Thesis, recursive functions and sets, recursively enumerable sets, decision problems, the Halting Problem); Gödel's Incompleteness Theorems.