Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.
This is a fantastic overview of the deeper structure of mathematics for those who have taken some undergrad level math but are curious to learn more about where it all comes from and how it all comes together.
Cool little history that starts in the ancient world and works through modern development of formal axiomatics (Gödel noted as crushing formal axiomatics, which everyone noted and then yawned).