Handbook of recursive mathematics - Ershov, IUrii Leonidovich (Studies in logic and the foundations of mathematics, 1998)