SKOLEM, Th. 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://tidsskrift.dk/math/article/view/10379. Acesso em: 14 aug. 2026.