000			00611nam a22002417a 4500
003			OSt
005			20180912235226.0
008			090503t xxu||||| |||| 00| 0 eng d
020			_a9780521884396 (HB)
040			_auniversity _bEnglish _cUniversity
041			_aEnglish
082			_a511.3 SIM(SUB)
100			_aStephen G. Simpson
245			_aSubsystems of second order arithmetic
250			_a2nd ed.
260			_bCambridge University Press _c2009
440			_a
300			_axvi, 444p.
500			_a
518			_aSAR/141/2009/30-10-09
650			_aPREDICATE CALCULUS
942			_2ddc _cBK
999			_c9745 _d9745