On recursively saturated models of arithmetic

Publisher Website

1 January 1975

book chapter
Published by Springer Nature

p. 42-55
https://doi.org/10.1007/bfb0080973

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

Metamathematical problems
The Journal of Symbolic Logic, 1973