Fernández-Prida de Carlos J. Funciones recursivas, máquinas de Turing. Tesis de Church. Bol. Cent. Calc. Univ. Complut. [Internet]. 8 de octubre de 2015 [citado 27 de noviembre de 2024];(8/9):63.