- BOCHENSKI, I.M., Historia de la lógica formal, Madrid, Gredos, 1967

- DEAÑO, A., Introducción a la lógica formal, Madrid, Alianza Editorial, 1994.

- GARRIDO, M., Lógica simbólica, Madrid, Ed. Tecnos, 1979 (4ª reimpr.).

- PÉREZ SEDEÑO, E., Ejercicios de lógica, Madrid, Siglo Veintiuno, 1991.SANGUINETI, J.J., Lógica, Pamplona, Eunsa, 1985