The book systematically studies such important sections as first-order theories, model theory, computability, hierarchies, formal arithmetic, axiomatic set theory.