This dissertation deals with the classification of varieties according to their Mal'cev properties. In general the so called Mal'cev-type theorems illustrate an interplay between first order properties of a given class ...