000			00984n a2200301#a 4500
001			6428
005			20240404163340.0
008			840521s1985 gw a b 001 0 eng
010			_a84010583
020			_a0387121730 (U.S.)
035			_aocm10799017
035			_aRecord 12598
040			_aDLC _cDLC
049			_aP5AA
082	0	0	_a511.3 _bB415f
090			_alf1
100	1		_aBeeson, Michael J., _d1945- _940749
245	1	0	_aFoundations of constructive mathematics: _bmetamathematical studies/ _cMichael J. Beeson.
260			_aBerlin ; _aNew York: _bSpringer-Verlag, _cc1985.
300			_axxiii, 466 p.: _bill.; _c25 cm.
500			_aIncludes indexes.
504			_aBibliography: p. [439]-449.
650	0	4	_aConstructive mathematics. _937438
697			_aLógica e Fundamentos 01- _xFundamentos e Textos Gerais. _923723
942			_2impa _cBK
999			_c7473 _d7473
490		0	_aErgebnisse der Mathematik und ihrer Grenzgebiete; _v3. Folge, Bd. 6 _943488