Ternary operations as primitive notions for constructive plane geometry V
収録刊行物
-
- Math. Logic Quarterly
-
Math. Logic Quarterly 40 455-477, 1994
Math. Logic Quarterly 40 455-477, 1994