On recursively saturated models of arithmetic
- 1 January 1975
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Metamathematical problemsThe Journal of Symbolic Logic, 1973