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 thefield and also outlines the philosophical and methodological motivations underlying the evolution of the discipline. | The Basic Picture by Giovanni Sambin, Hardcover | Indigo Chapters