Vol. 769. Flum, Jörg. 
Topological model theory 
QA611.3 E58