Introducción a la matemática formal desde las funciones - Arias Tencio, Floria (Editorial UCR, 2010)