Dimension in Elementary Euclidean Geometry1
暂无分享，去创建一个
[1] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[2] A. Tarski. What is Elementary Geometry , 1959 .
[3] A. Tarski,et al. Arithmetical extensions of relational systems , 1958 .