HANDBOOK OF RECURSIVE MATHEMATICS Recursive Model Theory / Volume 1 :
Handbook of recursive mathermatics recursive model theory volume one :
Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK
- AMSTERDAM ELSEVIER 1998
- 2 volumes ; 23 cm. 620 p 23 cm
- STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMA .
Includes exercises
Includes bibliographical references
0444500030
Ershov, Yu. L., editor Nerode, A., editor
31.10 logic, set theory Logic, Symbolic and mathematical Recursion theory SAINS JATI (TULEN) DAN MATEMATIK