Topology via Logic

1. Introduction 2. Affirmative and refutative assertions 3. Frames 4. Frames as algebras 5. Topology: the definitions 6. New topologies for old 7. Point logic 8. Compactness 9. Spectral algebraic locales 10. Domain theory 11. Power domains 12. Spectra of rings Bibliography.