Topology via logic /

Bibliographic Details
Main Author: Vickers, Steven
Format: Book
Language:English
Published: Cambridge, UK : Cambridge University, 1996.
Series:Cambridge tracts in theoretical computer science ; 6
Subjects: