LEADER 01041nam a2200313 i 4500 001 991001237709707536 005 20020507185803.0 008 940314s1986 us ||| | eng 020 $a0691084556 035 $ab10819848-39ule_inst 035 $aLE01309159$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03B30 100 1 $aNelson, Edward$0346945 245 10$aPredicative arithmetic /$cEdward Nelson 260 $aPrinceton, N.J. :$bPrinceton Univ. Press,$c1986 300 $aviii, 189 p. ;$c24 cm. 490 0 $aMathematical notes ;$v32 500 $aBibliography: p. 181-182. 500 $aIncludes indexes 650 0$aArithmetic 650 0$aConstructive mathematics 907 $a.b10819848$b23-02-17$c28-06-02 912 $a991001237709707536 945 $aLE013 03B NEL11 (1986)$g1$i2013000123387$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10926677$z28-06-02 996 $aPredicative arithmetic$9924280 997 $aUNISALENTO 998 $ale013$b01-01-94$cm$da $e-$feng$gus $h0$i1