Elementos de lógica matemática y teoría de conjuntos

La lógica es la ciencia que estudia las leyes y las formas de inferencia válida. El presente libro está basado en el curso de lógica matemática y teoría de conjuntos impartido a los estudiantes del último año de la escuela especializada en física y matemática auspiciada por la Universidad Técnica Estatal «N. E. Bauman» de Moscú. Se abordan los conceptos fundamentales de la lógica proposicional, la lógica de predicados, la teoría de conjuntos y los elementos de la teoría de correspondencias y funciones. A lo largo de todo el libro se acentúa la estrecha relación que existe entre estas ramas de la matemática. En cada tema estudiado se propone una serie de ejemplos que facilitarán la comprensión del material estudiado y ejercicios que permitirán al lector comprobar los conocimientos adquiridos.

Se recomienda a los estudiantes de nivel preuniversitario interesados en física y matemática. También será útil a los estudiantes universitarios y profesores de matemáticas.