The Basic Picture: Structures for Constructive Topology by Giovanni Sambin

The Basic Picture: Structures for Constructive Topology

byGiovanni Sambin

Hardcover | July 30, 2017

not yet rated|write a review

Pricing and Purchase Info

$126.00

Earn 630 plum® points

Pre-order online

Ships free on orders over $25

Not yet available in stores

about

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.

About The Author

Giovanni Sambin is in the Department of Mathematics at the Universita di Padova.
Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory

by Giovanni Sambin

$74.39$92.99

Available for download

Not available in stores

Details & Specs

Title:The Basic Picture: Structures for Constructive TopologyFormat:HardcoverDimensions:400 pages, 9.21 × 6.14 × 0 inPublished: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