scientific article; zbMATH DE number 4146970
From MaRDI portal
Publication:3477582
Recommendations
Cited in
(11)- Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
- scientific article; zbMATH DE number 59761 (Why is no real title available?)
- scientific article; zbMATH DE number 4107566 (Why is no real title available?)
- A variation of Hilbert's axioms for Euclidean geometry
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- scientific article; zbMATH DE number 720249 (Why is no real title available?)
- The simplest axiom system for plane hyperbolic geometry revisited
- On the simplicity of ordered geometry
- Logic for physical space. From antiquity to present day
- scientific article; zbMATH DE number 4213959 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3477582)