Skolem T. Some considerations concerning recursive functions. Math. Scand. [Internet]. 1953 Dec. 1 [cited 2026 Aug. 14];1:213-21. Available from: https://tidsskrift.dk/math/article/view/10379