A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the method

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal alg