Definability And Computability by Yu L. Ershov & Iu.l. Ershov