Introduces the basic concepts of universal algebra and surveys some of the developments in the field. This book focuses on applications in theoretical computer science and various topics, including Mal'cev conditions, tame congruence theory, clones, and commutators.