Euclidean and Non-Euclidean Geometries

Critical study of basic notions and models of Euclidean and non-Euclidean geometries: order, congruence, and distance.