Publication details
Jahr: 2000
Pages: 263-281
Reihe: Synthese
Volle Referenz:
, "Quantifier-free axioms for constructive affine plane geometry", Synthese 125, 2000, pp. 263-281.
Publication details
Jahr: 2000
Pages: 263-281
Reihe: Synthese
Volle Referenz:
, "Quantifier-free axioms for constructive affine plane geometry", Synthese 125, 2000, pp. 263-281.