00868nam0-22003131i-450-9900014437404033213-540-64882-8000144374FED01000144374(Aleph)000144374FED0100014437420000920d1999----km-y0itay50------baengSubsystems of Second Order ArithmeticStephen G. SimpsonBerlin [etc.]Springerc1999XIV, 444 p.24 cmPerspectives in mathematical logicLogicaRicorsività160Simpson,Stephen George47524ITUNINARICAUNIMARCBK9900014437404033217-304D.S.F. 6514FI1FI1Subsystems of second order arithmetic79010UNINAING01