Handbook of recursive mathematics - Ershov, Yu. L. (Studies in logic and the foundations of mathematics, 1998)