Quantifier-free axioms for constructive affine plane geometry

pp. 263-281

Publication details

Published in:

(2000) Synthese 125 (1-2).

Pages: 263-281

Full citation:

Suppes Patrick (2000) „Quantifier-free axioms for constructive affine plane geometry“. Synthese 125 (1-2), 263–281.