1 results
Arithmetic definability by formulas with two quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-11
- Print publication:
- March 1992
-
- Article
- Export citation