𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A System of Axioms for Hyperbolic Geometry

✍ Scribed by John W. Schutz

Publisher
Springer
Year
2008
Tongue
English
Weight
328 KB
Volume
90
Category
Article
ISSN
0047-2468

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

RETRPROV A system that looks for axioms
RETRPROV A system that looks for axioms
✍ Andrzej Biela; Jakub Borowczyk πŸ“‚ Article πŸ“… 1996 πŸ› Springer-Verlag 🌐 English βš– 406 KB