TY - GEN AU - Buss, S. R TI - Axiomatizations and conservation results for fragments of bounded arithmetic PY - 1987/// CY - Berkeley PB - Mathematical Sciences Research Institute N1 - Contine bibliografie ER -