Another constructive axiomatization of Euclidean planes
Journal
-
- Math. Logic Quarterly
-
Math. Logic Quarterly 46 45-48, 2000
- Tweet
Details 詳細情報について
-
- CRID
- 1572824499545467392
-
- NII Article ID
- 10008798854
-
- Data Source
-
- CiNii Articles