HANDBOOK OF RECURSIVE MATHEMATICS Recursive Algebra, Analysis and Combinatorics / Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK Volume 2 :

HANDBOOK OF RECURSIVE MATHEMATICS Recursive Algebra, Analysis and Combinatorics / Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK Volume 2 : Handbook of recursive mathermatics recursive algebra, analysis and combinatori volume two : - AMSTERDAM ELSEVIER 1998 - 2 vol. : ill. ; 23 cm. 1372 p 23 cm - STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEM .

Includes bibliographical references

0444501061


Ershov, Yu. L., editor
Nerode, A., editor


31.10 logic, set theory
Algebra
Recursion theory
SAINS JATI (TULEN) DAN MATEMATIK