A field guide to equational logic (Q1201350)

The title of this paper really says all; this is a brief introduction to the important results in five areas of equational logic. The section headings are ``Decidability of theories axiomatized by equations'', ``Finite axiomatizability'', ``Lattices of equational theories'', ``Undecidable properties of finite sets of equations'' and ``Doing mathematics via equations''. There is also a very helpful glossary and a useful list of references. This paper should both serve to whet the appetite of those not already acquainted with this subject and be an important reference for those already working in the field.