Antzeko izenburuak: El desarrollo de la teoría de la cuantificación /
- Teoría de la definición /
- Introducción a una teoría de la lógica /
- Limitaciones internas de los formalismos: estudio sobre la significación del teorema G”del y teoremas conexos en la teoría de los fundamentos de las matemáticas /
- Introducción a la teoría de la lógica /
- Lógica y teoría de conjuntos /
- El Desarrollo de la lógica /