Annotation
Introductory course covering basic knowledge and techniques of mathematical logic - syntax and semantics of classical propositional and predicate logic, including a proof of strong completeness, basic properties of axiomatic theories and basic model theory.