01412nam 2200385 450 00001114020050718115400.03-540-64882-820020715d1999----km-y0itay0103----baengDESubsystems of second order arithmeticStephen G. SimpsonBerlin [etc.]Springerc1999XIV, 444 p.24 cm.Perspectives in Mathematical LogicLogica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03B30Mathematical logic and foundations. Fondations of classical theories03F35Mathematical logic and foundations. Second- and higher-order arithmetic and fragmentsSimpson,Stephen G.47524ITUniversità della Basilicata - B.I.A.RICAunimarc000011140Subsystems of second order arithmetic79010UNIBASMONSCIMONOGRSCIENZEEXT0020120020715BAS01122120050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT5001M50012002071551Riservati