Over the last 45 years, Boolean theorem has been generalized and extended in several different directions and its applications have reached into almost every area of modern mathematics; but since it lies on the frontiers of algebra, geometry, general topology and functional analysis, the corpus of mathematics which has arisen in this way is seldom seen as a whole. In order to give a unified treatment of this rather diverse body of material, Dr Johnstone begins by developing the theory of locales (a lattice-theoretic approach to 'general topology without points' which has achieved some notable results in the past ten years but which has not previously been treated in book form). This development culminates in the proof of Stone's Representation Theorem.