Diseñado para estudiantes avanzados de matemáticas, filosofía y computación, este libro provee una introducción a la vez accesible, vasta y técnicamente sólida a los temas centrales de la lógica proposicional clásica, así como a algunas de sus extensiones o variantes. En cada caso, parte de un enfoque intuitivo que justifica...
El libro combinatoria infinita está dedicado a tres grandes áreas de la Teoría de conjuntos moderna: las álgebras booleanas, los principios combinatorios y los grandes cardinales. El texto incorpora resultados recientes de estas materias y presenta una novedosa construcción de ultrapotencias de modelos de ZF, que permite la definición de...
El libro Conjuntos y modelos: curso avanzado, está dedicado a los alumnos de posgrado o del último año de licenciatura que en sus estudios utilicen la teoría de conjuntos o la lógica matemática. En este libro se cubren los fundamentos de la teoría de conjuntos y de la lógica matemática...