Ω-bibliography of mathematical logic: model theory - Müller, Gert H. (Springer, 1987)