The Basic Picture Structures for Constructive Topology, by Sambin, Giovanni
Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780199232888 | 0199232881
- Cover: Hardcover
- Copyright: 7/17/2024
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.