Funciones recursivas, máquinas de Turing. Tesis de Church - Fernández-Prida de Carlos, J. (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)