000 00384nam a2200145Ia 4500
008 220718s1986||||xx |||||||||||||| ||und||
020 _a9780691610290
082 _a511.3
_bNEL
100 1 _aNelson, E
245 1 _aPredicative arithmetic
_cE. Nelson
260 _aPrinceton
_bPrinceton University Press
_c1986
300 _aviii
_e189
490 _aMathematical notes 32
942 _cBK
999 _c12194
_d12194