Teoría de Conjuntos y Lógica Matemática
1964·no ficcion
Texto clásico que introduce los fundamentos de la teoría de conjuntos y la lógica matemática, cubriendo lógica proposicional, de primer orden, axiomas de Zermelo-Fraenkel y los teoremas de incompletitud de Gödel.