http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
This text for advanced undergraduates emphasizes the logical connections of the subject. The derivations of formulas from the axioms do not make use of models of the hyperbolic plane until the axioms are shown to be categorical; the differential geometry of surfaces is developed far enough to establish its connections to the hyperbolic plane; and the axioms and proofs use the properties of the real number system to avoid the tedium of a completely synthetic approach. The development includes properties of the isometry group of the hyperbolic plane, tilings, and applications to special relativity. Elementary techniques from complex analysis, matrix theory, and group theory are used, and some mathematical sophistication on the part of students is thus required, but a formal course in these topics is not a prerequisite.