A History of Non-Euclidean Geometry