Handbook of Recursive Mathematics Recursive Algebra, Analysis and Combinatorics - Ershov, Yu L. (North Holland [Imprint])