Foundations of Geometry and the Non-Euclidean Plane

The Foundations of Geometry and the Non-Euclidean Plane is a self-contained text for junior, senior, and first-year graduate courses. Historical material is interwoven with a rigorous ruler- and protractor axiomatic development of the Euclidean and hyperbolic planes. Additional topics include the classical axiomatic systems of Euclid and Hilbert, axiom systems for three and four dimensional absolute geometry, and Pieri's system based on rigid motions. Models, such as Taxicab Geometry, are used extensively to illustrate theory.