Topology via logic
By: Steven Vickers.
Series: Cambridge tracts in theoretical computer science ;; 5
Publisher: Cambridge University Press
Published: 1989
Place of publication: Cambridge [England]; New York
Language: eng
Number of pages: 200
Subjects: Topology.
Notes: Bibliography: p. [191]-195.
Includes index.