Ternary operations as primitive notions for constructive plane geometry III
収録刊行物
-
- Math. Log. Quart.
-
Math. Log. Quart. 39 393-402, 1993
Math. Log. Quart. 39 393-402, 1993