000			01538n a2200325#a 4500
001			11055
003			P5A
005			20221213135854.0
008			850313s1984 gw a b 100 0 eng d
019			_a11584316 _a11803310 _a11827047
020			_a354013901X (Springer-Verlag, Berlin)
020			_a038713901X (Springer-Verlag, New York)
035			_aocm11802118
035			_aRecord 21086
040			_aORU _cORU _dOCL _dTXA _dVPI _dXIB _dOCL
049			_aP5AA
090			_acolm
111	2		_aLogic Colloquium _d(1983 : _cAachen, Germany) _918608
245	1	0	_aComputation and proof theory: _bproceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II/ _cedited by M.M. Richter ... [et al.].
260			_aBerlin; _aNew York: _bSpringer-Verlag, _c1984.
300			_aviii, 475 p.: _bill.; _c25 cm.
490	1		_aLecture notes in mathematics; _v1104.
504			_aIncludes bibliographies.
650		0	_aComputable functions- _xCongresses. _918609
650	0	4	_aProof theory- _xCongresses. _918610
697			_aColeções de Monografias. _923736
700	1		_aRichter, Michael M., _d1938- _946629
830		0	_aLecture notes in mathematics (Springer-Verlag); _v1104. _943881
942			_2impa _cBK
999			_aLOGIC COLLOQUIUM, 1983 :. Aachen, Germany.; RICHTER, Michael M.,. <b> Computation and proof theory: </b> proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II. Berlin; New York: Springer-Verlag, 1984. viii, 475 p. (Lecture notes in mathematics; 1104.). ISBN 354013901X (Springer-Verlag, Berlin). _c11965 _d11965