Handbook of Recursive Mathematics, Volume 1 by Unknown Author & Yu L. Ershov