01179nam2-2200385li-450 99000022294020331620180312154723.00-691-08455-60022294USA010022294(ALEPH)000022294USA01002229420001109d1986----km-y0itay0103----baengUSPredicative arithmeticby Edward NelsonPrincetonUniversity Press1986VIII, 189 p.ill.22 cmMathematical notes3200100222952001Mathematical noteslogica matematica5113Logica simbolica (Logica matematica)Nelson,Edward346945Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000222940203316510 MN (32)0016119 CBS51000111182BKSCI1994101020001110USA011714ALANDI9020020115USA01121420020403USA011630PATRY9020040406USA011616Predicative arithmetic924280UNISA