Constructive axiomatizations of absolute, Euclidean and hyperbolic plane geometry
収録刊行物
-
- Math. Logic Quarterly
-
Math. Logic Quarterly 47 129-136, 2001
Math. Logic Quarterly 47 129-136, 2001