Although extensively revised, this new edition continues in the fine tradition of its predecessor. Major changes include: a notation that formalizes the distinction between equality and congruence and between line, ray and line segment; a completely rewritten chapter on mathematical logic with inclusion of truth tables and the logical basis for the discovery of non-Euclidean geometries; expanded coverage of analytic geometry with more theorems discussed...