Cambridge Tracts in Theoretical Computer Science, 5. Cambridge etc.: Cambridge University Press. 200 p., £20.00; $ 39.50 (1989).
Topology (or geometric logic) is the logic of finite observations. So, the author uses locales to introduce topology. Axioms for topology constitute logic (finite conjunctions and arbitrary disjunctions). This justifies the title of the book.
After dealing with frames, topological systems are introduced. Point logic, the Scott open filter theorem, spectral algebraic locales, domain theory, power domains and spectra of rings are the topics given in this book.
A topological space is said to be sober iff every irreducible closed set has a unique generic point. A nice result given in this book is that Hausdorff spaces are sober. Also, let be a spectral space; then is Hausdorff iff it is a Stone space (p. 128). See the earlier book on locale theory by P. T. Johnstone [Stone spaces (1982; Zbl 0499.54001)]. Exercises, bibliography and index are available.
The get-up is attractive, and this book is a text on topology for computer scientists, because open sets are semidecidable properties.