TY - BOOK AU - Goncharov, S.S., AU - Remmel, J.B., TI - HANDBOOK OF RECURSIVE MATHEMATICS : Recursive Model Theory / T2 - STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMA SN - 0444500030 PY - 1998/// CY - AMSTERDAM PB - ELSEVIER KW - Ershov, Yu. L., KW - Nerode, A., KW - 31.10 logic, set theory KW - Logic, Symbolic and mathematical KW - Recursion theory KW - SAINS JATI (TULEN) DAN MATEMATIK N1 - Includes exercises; Includes bibliographical references ER -