Pogorzelski, H. A. Recursive Arithmetic of Skolem. Math. Scand. 1962, 11, 33-36.