000 00402 a2200133 4500
035 _a
090 _c25336
_d25336
100 _aBuss, S. R
245 _aAxiomatizations and conservation results for fragments of bounded arithmetic
_cBuss, S. R
260 _aBerkeley
_bMathematical Sciences Research Institute
_c1987
300 _a24 p
_c29 cm
500 _aContine bibliografie
942 _aIMAR
_cCART
_sSN
999 _c25046
_d25046