Pogorzelski, H. A. “Recursive Arithmetic of Skolem”. MATHEMATICA SCANDINAVICA 11 (June 1, 1962): 33–36. Accessed August 14, 2026. https://tidsskrift.dk/math/article/view/10647.