01041nam a2200313 i 450099100123770970753620020507185803.0940314s1986 us ||| | eng 0691084556b10819848-39ule_instLE01309159ExLDip.to Matematicaeng511.3AMS 03B30Nelson, Edward346945Predicative arithmetic /Edward NelsonPrinceton, N.J. :Princeton Univ. Press,1986viii, 189 p. ;24 cm.Mathematical notes ;32Bibliography: p. 181-182.Includes indexesArithmeticConstructive mathematics.b1081984823-02-1728-06-02991001237709707536LE013 03B NEL11 (1986)12013000123387le013-E0.00-l- 00000.i1092667728-06-02Predicative arithmetic924280UNISALENTOle01301-01-94ma -engus 01