The following pages link to (Q4084875):
Displayed 5 items.
- Ebenen mit Kongruenz (Q792631) (← links)
- Pseudo-Euklidische Ebenen und Euklidische Räume (Q1231167) (← links)
- On the simplicity of ordered geometry (Q1956325) (← links)
- Axiom systems implying infinity in the foundations of geometry (Q2022359) (← links)
- Prolegomena to any theory of proof simplicity (Q5204801) (← links)