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

(Book #48 in the Oxford Logic Guides Series)

by Laura Crosilla and Laura Crosilla

No Customer Reviews

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

Format:Hardcover

Language:English

ISBN:0198566514

ISBN13:9780198566519

Release Date:December 2005

Publisher:Clarendon Press

Length:372 Pages

Weight:1.55 lbs.

Dimensions:1.0" x 6.2" x 9.4"

Related Subjects

Math Mathematics Science & Math

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

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

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

(Book #48 in the Oxford Logic Guides Series)

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us