Introduction to mathematical logic. 2nd edition. Popov A.I.

The attention of readers is proposed to be a book that became the first work in the USSR, in which a general outline of mathematical logic was set out. It was intended for the author for readers who want to get acquainted with the elementary foundations of mathematical logic without deepening into various details, interesting only for specialists.

The book has a brief historical review of the emergence of mathematical logic, its main directions are popularly presented. Particular attention is paid to the question of the ratio of mathematical and classical (formal) logic. The place of mathematical logic in the system of scientific knowledge is considered. Practical applications of mathematical logic are indicated as the basis for the construction and work of various “smart” and “thinking” machines.

The book is designed for scientists, graduate students, students and high school teachers, as well as the wide circles of readers interested in philosophy, logic and mathematics.