000			00406nam a2200133Ia 4500
008			211109s9999||||xx |||||||||||||| ||und||
082			_a510 _bCUR-O
100			_aCurry, Ompanyhaskell B
245		0	_aOutlines of a Formalist Philosophy of Mathematics
260			_bNorth Holland Publishing Company _aAmsterdam _c1958
630			_xGeneral Stack
650			_aMATHEMATICS _vPHILOSOPHY _xPhysics
942			_cBOOK
999			_c24347 _d24347