Quantifier-free axioms for constructive affine plane geometry

Authors
Suppes, P
Citation
P. Suppes, Quantifier-free axioms for constructive affine plane geometry, SYNTHESE, 125(1-2), 2000, pp. 263-281
Citations number
5
Categorie Soggetti
Philosiphy
Journal title
SYNTHESE
ISSN journal
00397857 → ACNP
Volume
125
Issue
1-2
Year of publication
2000
Pages
263 - 281
Database
ISI
SICI code
0039-7857(2000)125:1-2<263:QAFCAP>2.0.ZU;2-I