Classification theory (Lecture notes in mathematics ;, 1980)