000			00387nam a2200133Ia 4500
008			220709b1957 xxu||||| |||| 00| 0 eng d
082			_a512.7 _bG52R
100			_aGoodstein R.L.
245			_aRecursive number theory _bA development of recursive arithmetic in a logic-free equation calculus
260			_aAmsterdam _bNorth-Holland _c1957
300			_aix,190p.
630			_aRecursive number theory
942			_cBooks
906			_a111522
981			_aAmsterdam: North-Holland, 1957.
982			_aix,190p.
983			_aRecursive number theory : A development of recursive arithmetic in a logic-free equation calculus
999			_c105483 _d105483