Quantifier-free axioms for constructive affine plane geometry

Patrick Suppes

pp. 263-281


This document is unfortunately not available for download at the moment.

Not implemented yet !