Recursive Arithmetic of Skolem. - Pogorzelski, H. A. (Mathematica Scandinavica, 1962)