Recursive, algebra, analysis and combinatorics - Ershov, Yu. L. (Studies in logic and the foundations of mathematics ; ;, 1998)