Introducción al razonamiento lógico matemático - Valverde Fallas, Luis (Editorial de la UCR, 2014)