H. Gonzalez, «Lógica Simbólica y Lógica Aplicada a la Matemática», Rev. Educ. Mat., vol. 26, n.º 2, may 2011.