Pages that link to "Item:Q1840989"
From MaRDI portal
The following pages link to Quantifier-free axioms for constructive affine plane geometry (Q1840989):
Displaying 6 items.
- The axioms of constructive geometry (Q1902978) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- What is plane equiaffine geometry? (Q2386093) (← links)
- Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry (Q2707077) (← links)
- (Q3679820) (← links)
- An axiomatization of partial <i>n</i>-place operations (Q4344794) (← links)