Introducción a la teoría de las funciones recursivas - Baules Aguilar, Edgar (: Universidad, 1981)