Victor Pambuccian
2 Publications
Metric geometries in an axiomatic perspective
2017
in: From Riemann to differential geometry and relativity, Berlin,
Axiomatizations of hyperbolic geometry
a comparison based on language and quantifier type complexity
2002
Synthese 133 (3)
2 Publications