1
Published 1995
Springer Netherlands
Table of Contents: ... Operations on Spaces of Structures -- Model Theory of Topological Structures -- Computable Quantifiers...