Logica matematica: Introduccion a la logica matematica

📕 A.N.Kolmogorov у A.G.Dragalin, eminentes logicos у matematicos sovieticos, ejercieron una marcada influencia en el esnlo у la direccion de las investigaciones en el campo de la logica у la filosofla matematica a nivel mundial.
El presente libro fue escrito sobre la base del curso de logica matematica impartido por ambos autores en la Facultad de Mecanica у Matematica de la Universidad Estatal "М.V.Lomonosov" de Moscu, у constituye el primer tomo de la obra "Logica matematica", en la cual se da una exposition clasica de los conceptos у resultados fundamentales de la logica matematica con elementos de teoria de conjuntos, teoria de algoritmos у fundamentos de la matematica.
El primer capitulo constituye por si mismo un curso inicial minimo de logica matematica; al final del libro se presentan dos anexos relacionados con diferentes aplicaciones practicas del material de este capitulo (c6digos con comeccion de errores у esquemas de contacto). En el segundo capitulo se analiza la semantica de los lenguajes logico-matematicos desde un punto de vista mas especifico. El tercer capitulo esta dedicado a la deducibilidad en la logica de predicados у a las teorias de primer orden.
La forma misma de exposition de los resultados fundamentales de la logica moderna (elementos de la teoria de conjuntos, fundamentos de la logica de proposiciones у la logica de predicados) no supone una preparacion especial por parte del lector, lo que hace que este libro sea accesible a toda persona interesada en la logica matematica у los problemas filosoficos de la matematica moderna.