El cálculo sentencial Aj.
El cálculo cuantificacional Aq.
La teoría de cúmulos CD.
Cuestiones de filosofía de la lógica.
Lista de teoremas, lista de reglas, lista de abreviaciones.
Editorial CSIC