000			01115nam a2200301Ia 4500
001			0004368
008			231110s9999 xx 000 0 und d
020			_a0444500030 _q hardback
041			_aBI
090			_a511.35 HAN
245	0	0	_aHANDBOOK OF RECURSIVE MATHEMATICS _n Volume 1 : _b Recursive Model Theory / _c Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK
246	0		_aHandbook of recursive mathermatics _n volume one : _b recursive model theory
260			_bELSEVIER _aAMSTERDAM _c1998
300			_a _a2 volumes ; _c 23 cm.
300			_a620 p
300			_c23 cm
490	0		_aSTUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMA
500			_aIncludes exercises
504			_aIncludes bibliographical references
600	0	0	_aErshov, Yu. L., _e editor
600	0	0	_aNerode, A., _e editor
650		0	_a31.10 logic, set theory
650		0	_aLogic, Symbolic and mathematical
650		0	_aRecursion theory
650		0	_aSAINS JATI (TULEN) DAN MATEMATIK
700	0		_aGoncharov, S.S., _e editor
700	0		_aRemmel, J.B., _e editor
999			_c9639 _d9639