SKOLEM, T. Some considerations concerning recursive functions. MATHEMATICA SCANDINAVICA, [S. l.], v. 1, p. 213–221, 1953. DOI: 10.7146/math.scand.a-10379. Disponível em: https://www.mscand.dk/article/view/10379. Acesso em: 6 may. 2024.