Lógica Matemática y Pruebas
( \newcommand{\kernel}{\mathrm{null}\,}\)
Introducción amistosa a la lógica matemática (Leary & Kristiansen)
Pruebas y conceptos - Los fundamentos de la matemática abstracta (Morris y Morris)
Razonamiento Matemático - Escritura y Prueba (Sundstrom)
Suave Introducción al Arte de las Matemáticas (Campos)
Transición a las Matemáticas Superiores (Dumas y McCarthy)
Una introducción a la prueba a través del aprendizaje basado en la investigación (Ernst)