The Basic Picture: Structures for Constructive Topology (Oxford Logic Guides)

Constructive topology is an important new branch of constructive mathematics and logic and this monograph is the first account of constructive topology in book form. Aimed at researchers in mathematics, philosophy, and logic, the author provides discussion of the technical development of the field and also outlines the philosophical and methodological motivations underlying the evolution of the discipline.