1 results
Diophantine correct open induction
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 93-111
-
- Chapter
- Export citation