scientific article; zbMATH DE number 3291816

zbMath0183.24902MaRDI QIDQ5574604

N. Moler, Patrick Suppes

Publication date: 1968

Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__143_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

foundations of geometry

Related Items (9)

Constructive geometrical reasoning and diagrams ⋮ Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ On the constructive geometry of Euclidean planes ⋮ Axiomatizing geometric constructions ⋮ Constructibility and Geometry ⋮ Some open problems in the philosophy of space and time ⋮ A common axiom set for classical and intuitionistic plane geometry ⋮ Quantifier elimination for elementary geometry and elementary affine geometry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: