Quantifier-free axioms for constructive affine plane geometry

pp. 263-281

Publication details

Published in:

(2000) Synthese 125 (1-2).

Seiten: 263-281

Referenz:

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