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... This description may be from another edition of this product.