Mathematical logic. Introduction to mathematical logic. 6th edition. Dragalin A. G., Kolmogorov A.N.

The authors of this book - A. N. Kolmogorov and A. G. Dragalin - outstanding domestic mathematicians who had a deep influence on the style and direction of world research on the logic and philosophy of mathematics. Their textbook “Introduction to mathematical logic” is written on the basis of the course of mathematical logic, which was read by both authors at the Mechanical and Mathematics Faculty of Moscow State University named after MV Lomonosov, and contains a classic presentation of the concepts and results of mathematical logic with elements of the theory of sets, the theory of algorithms and the foundations of mathematics.

The presentation of the fundamental facts of modern logic (initial concepts of the theory of sets, the foundations of the logic of statements and the logic of predicates) does not imply special training and is designed for a wide range of readers who are interested in mathematical logic and philosophical problems of modern mathematics.