Buss, S. R <br/><br/>
Axiomatizations and conservation results for fragments of bounded arithmetic 
Buss, S. R 
 - Berkeley  Mathematical Sciences Research Institute  1987 
 - 24 p  29 cm 
<br/><br/> Contine bibliografie