The Basic Picture: Structures for Constructive Topology

Hardcover | July 30, 2017

byGiovanni Sambin

not yet rated|write a review
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.

Pricing and Purchase Info

$125.98 online
$126.00 list price
Pre-order online
Ships free on orders over $25

From the Publisher

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...

Giovanni Sambin is in the Department of Mathematics at the Universita di Padova.

other books by Giovanni Sambin

Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory

Kobo ebook|Oct 15 1998

$71.69 online$92.99list price(save 22%)
Format:HardcoverDimensions:400 pagesPublished:July 30, 2017Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0199232881

ISBN - 13:9780199232888

Customer Reviews of The Basic Picture: Structures for Constructive Topology

Reviews