00909nam0-22003251i-450 99000121948040332120240118094051.0000121948FED01000121948(Aleph)000121948FED0100012194820000920d1986----km-y0itay50------baengBounded arithmeticSamuel R. BussNapoliBibliopolis1986221 p.ill.25 cmStudies in Proof Theorylecture notes3Fondamenti della logica matematica e probabilità519Buss,Samuel R.52029ITUNINARICAUNIMARCBK990001219480403321114-E-413872MA110 DO 95 TADONOTAMBURRINI95/23DINELDINELMA1Bounded Arithmetic335250UNINAING01