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