Quantifier-Free Axioms For Constructive Affine Plane Geometry

Patrick Suppes. Quantifier-Free Axioms For Constructive Affine Plane Geometry. Synthese, 125(1-2):263-281, 2000. [doi]

Abstract

Abstract is missing.