Axiomatizations and conservation results for fragments of bounded arithmetic
- 1 January 1990
- other
- Published by American Mathematical Society (AMS)
- Vol. 106, 57-84
- https://doi.org/10.1090/conm/106/1057816
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: