Introducción a la teoría de las funciones recursivas - Baules Aguilar, Edgar (Panamá : Universidad, 1981)
Keywords: FUNCIONES RECURSIVAS; LOGICA SIMBOLICA Y MATEMATICA