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