Basic model theory - Doets, Kees (Studies in logic, language and information, 1996)