The following pages link to (Q3115114):
Displaying 7 items.
- Tarski geometry axioms. II (Q502683) (← links)
- Tarski geometry axioms (Q502700) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Tarski geometry axioms. III (Q1795563) (← links)
- Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom (Q2334485) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- Tarski geometry axioms. V: Half-planes and planes (Q6557128) (← links)