Logica matematica: Capitulos complementarios

📙 A.N.Kolmogorov у A.G.Dragalin, eminentes logicos у matematicos sovieticos, ejercieron una marcada influencia en el estilo у la direction de las investigaciones en el campo de la logica у la filosoffa matematica a nivel mundial.
El presente libro constituye el segundo tomo de la obra "Logica matematica" (el primer tomo, "Introducci6n a la logica matematica", tambien fue editado por nuestra editorial), en la que 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. Ambos tomos fueron escritos sobre la base del curso de logica matematica dictado por los autores en la Facultad de Mecanica у Matematica de la Universidad Estatal "М.V.Lomonosov" de Moscu.
En el primer capitulo del presente libro se estudia la teoria de conjuntos sobre la base del sistema axiomatico de Zermelo—Fraenkel. El segundo capitulo es una introduction a la teoria de algoritmos (computabilidad segun Turing, tesis de Church, conjuntos recursivos, conjuntos recursivamente enumerables). El tercer capitulo estd dedicado a la teoria de la deduction (teorema de completitud del calculo de predicados de Godel, teorema de Lowenheim—Skolem, segundo teorema de Godel) у concluye con el examen del programa de Hilbert de fundamentaci6n de la matematica.
Este libro esta dirigido a lectores de nivel universitario interesados en la 16gica matematica у los problemas filosoficos de la matematica moderna.