1 results
HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 04 June 2015, pp. 111-122
- Print publication:
- June 2015
-
- Article
- Export citation