MOLDESTAD, J.; STOLTENBERG-HANSEN, V. Finite alogorithmic procedures and inductive definability. MATHEMATICA SCANDINAVICA, [S. l.], v. 46, p. 62–76, 1980. DOI: 10.7146/math.scand.a-11852. Disponível em: https://www.mscand.dk/article/view/11852. Acesso em: 27 apr. 2024.