000			01420n a2200409#a 4500
001			15613
003			P5A
005			20240404163443.0
008			691216s1969 gw b 001 0 eng||
010			_a76089552 //r852
015			_aGDB***
035			_aocm00047207
040			_aDLC _cDLC _dUBA
041	1		_aengger
049			_aP5AA
082	0	4	_a511.3 _bH553e
090			_alf1
100	1		_aHermes, Hans _944729
240	1	0	_aHermes, Hans. _lEnglish
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			_aBerlin: _aNew York: _bSpringer, _c1969.
300			_ax, 245 p.: _c24 cm.
500			_aTranslation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
504			_aIncludes bibliographies.
650	0	0	_aRecursive functions _936989
650	0	0	_aAlgorithms. _937032
650	0	0	_aGodel's theorem. _937591
650	0	7	_aComputable functions. _937437
650	0	7	_aFunções (Matemática) _2larpcal _919960
650	0	7	_aComputabilidade e Modelos de Computação. _2larpcal _920331
650	0	4	_aLogica Matematica. _2larpcal _920332
697			_aLógica e Fundamentos 01- _xFundamentos e Textos Gerais. _923723
942			_2impa _cBK
999			_c16281 _d16281
490		0	_aGrundlehren der mathematischen Wissenschaften; _vBd. 127. _943981