Gonzalez, H. Lógica Simbólica Y Lógica Aplicada a La Matemática. Rev. Educ. Mat. 2011, 26.