4374623
9780198566519
From Sets And Types to Topology And Analysis Towards Practicable Foundations for Constructive Mathematics
by Crosilla, Laura, Schuster, Peter
31245
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780198566519
- ISBN: 0198566514
- Publication Date: 2005
- Publisher: Oxford University Press, Incorporated
AUTHOR
SUMMARY
Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.Crosilla, Laura is the author of 'From Sets And Types to Topology And Analysis Towards Practicable Foundations for Constructive Mathematics', published 2005 under ISBN 9780198566519 and ISBN 0198566514.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
