Topological model theory - Flum, Jörg (Springer, 1964)