The book can be used as a textbook on the course of mathematical logic at universities and pedagogical institutes; thus, it is addressed primarily to teachers, graduate students and students. It will also attract the attention of everyone involved or interested in mathematical logic.