237446

(2000) Synthese 125 (1-2).

Quantifier-free axioms for constructive affine plane geometry

Patrick Suppes

pp. 263-281

Publication details

DOI: 10.1023/A:1005242507092

Full citation:

Suppes, P. (2000). Quantifier-free axioms for constructive affine plane geometry. Synthese 125 (1-2), pp. 263-281.

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