
Publication details
Year: 2000
Pages: 263-281
Series: Synthese
Full citation:
, "Quantifier-free axioms for constructive affine plane geometry", Synthese 125, 2000, pp. 263-281.
Publication details
Year: 2000
Pages: 263-281
Series: Synthese
Full citation:
, "Quantifier-free axioms for constructive affine plane geometry", Synthese 125, 2000, pp. 263-281.