Handbook of Recursive Mathematics, Volume 2 door Unknown Author & Yu L. Ershov