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