Interpretations of Euclidean Geometry
first-order theory with equality for n-dimensional Euclidean geometry
scientific article