๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Quantifier-Free Axioms For Constructive Affine Plane Geometry

โœ Scribed by Patrick Suppes

Book ID
110221675
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
75 KB
Volume
125
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Incidence axioms for affine geometry
Incidence axioms for affine geometry
โœ Marshall Hall Jr. ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 706 KB
2-metric Axioms for Plane Euclidean Geom
2-metric Axioms for Plane Euclidean Geometry
โœ Patrick Cassens; B. A. Cassens ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 679 KB

If B(a, b, c), then -B ( a , c, b). A 8. If points a, b and c are collinear and distinct, then at least one of B ( a , b, c), B ( b , c, a) or B(c, a, b) is true. In view of T 2.2, T 2.3, and T 2.4 exactly one of B ( a , b, c), B ( b , c, a ) , B ( c , a , b) is true. T2.5. If B ( a , b, d ) and B