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. Dr Johnstone begins by developing the theory of locales. This development culminates in the proof of Stone's Representation Theorem.