Paul Halmos

Un libro clásico y accesible que introduce la teoría de conjuntos axiomática ZFC de una manera clara y concisa, ideal para estudiantes y para una comprensión fundamental de los conceptos.

Una introducción concisa pero completa a la teoría de conjuntos axiomática, presentando los fundamentos lógicos y las principales construcciones de los números a partir de conjuntos, de forma clara y rigurosa.

Introduce la teoría de conjuntos desde una perspectiva intuitiva pero matemáticamente precisa, sentando las bases para toda la matemática moderna. Explora conceptos como conjuntos, relaciones, funciones, números ordinales y cardinales.

Halmos presenta una introducción a las álgebras de Boole, álgebras de cilindros y álgebras poliadicas, demostrando cómo estas estructuras algebraicas pueden modelar y formalizar la lógica clásica y la lógica de predicados.

Un libro conciso y elegante que presenta los aspectos fundamentales de la teoría de matrices desde una perspectiva puramente algebraica y conceptual, evitando el enfoque computacional excesivo.

Una introducción a la lógica moderna que aborda el tema desde una perspectiva algebraica, haciendo que los conceptos lógicos sean más comprensibles a través del marco familiar del álgebra. Es una colección de las notas de sus cursos que resumen muchas de sus ideas.