Introducción a la matemática formal desde las funciones - Arias-Tencio, Floria (Editorial de la Universidad de Costa Rica (EUCR), 2010)
La Biblioteca también cuenta con la Primera edición digital 2020.