Annotation
Introductory part of study of logic, essentially containing elements of mathematical logic (completeness, cardinality, compactness, categoricity etc.), but moreover paying special attention to philosophical, linguistic and methodological aspects of logic.