Skip to content
Scan a barcode
Scan
Hardcover From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics Book

ISBN: 0198566514

ISBN13: 9780198566519

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

(Book #48 in the Oxford Logic Guides Series)

This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is...

Recommended

Format: Hardcover

Condition: New

$245.00
50 Available
Ships within 2-3 days

Related Subjects

Math Mathematics Science & Math

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured