Some conservation results for fragments of arithmetic
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 251-262
- https://doi.org/10.1007/bfb0095667
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A hierarchy of cuts in models of arithmeticPublished by Springer Nature ,1980