Pogorzelski, H. A. “Recursive Arithmetic of Skolem II”. MATHEMATICA SCANDINAVICA 11 (June 1, 1962): 156–160. Accessed July 3, 2024. https://www.mscand.dk/article/view/10662.