A. N. Kolmogórov y A. G. Dragalin, eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la lógica y la filosofía matemática a nivel mundial.El presente libro fue escrito sobre la base del curso de lógica matemática impartido por ambos autores en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, y constituye el primer tomo de la obra «Lógica matemática», en la cual se da una exposición clásica de los conceptos y resultados fundamentales de la lógica matemática con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática.El primer capítulo constituye por sí mismo un curso inicial mínimo de lógica matemática; al final del libro se presentan dos anexos relacionados con diferentes aplicaciones prácticas del material de este capítulo (códigos con corrección de errores y esquemas de contacto). En el segundo capítulo se analiza la semántica de los lenguajes lógico-matemáticos desde un punto de vista más específico. El tercer capítulo está dedicado a la deducibilidad en la lógica de predicados y a las teorías de primer orden.La forma misma de exposición de los resultados fundamentales de la lógica moderna (elementos de la teoría de conjuntos, fundamentos de la lógica de proposiciones y la lógica de predicados) no supone una preparación especial por parte del lector, lo que hace que este libro sea accesible a toda persona interesada en la lógica matemática y los problemas filosóficos de la matemática moderna.