000			01156cam a2200325 4500
001			4600203
005			20150704174856.0
008			691216s1969 gw b 001 0 eng
010			_a 76089552
015			_aGDB***
020			_a9783642461804
040			_aDLC _cDLC _dDLC
041	1		_aengger
050	0	0	_aQA248.5 _b.H413 1969
082	0	0	_a510.01 _bHER-E
100	1		_aHermes, Hans.
245	1	0	_aEnumerability, decidability, computability : _ban introduction to the theory of recursive functions. _cTranslated by G. T. Hermann and O. Plassmann.
250			_a2d rev. ed.
260			_aNew York, _bSpringer, _c©1969.
300			_ax, 245 p. _c24 cm.
440		4	_aDie Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; _vBd. 127
500			_aTranslation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
504			_aIncludes bibliographies.
650		0	_aRecursive functions.
650		0	_aAlgorithms.
650		0	_aGödel's theorem.
650		0	_aComputable functions.
906			_a7 _bcbc _corignew _du _encip _f19 _gy-gencatlg
942			_2ddc _cBK
999			_c10837 _d10837