A logical introduction to proof - Cunningham, Daniel Wendell (New York : Springer, 2012)
Keywords: TEORIA DE LA PRUEBA; LÓGICA, SIMBÓLICA Y MATEMÁTICA