From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic
- List Price: $205.00
- ISBN-10: 0198566514
- ISBN-13: 9780198566519
- Edition: 1st
- Type: Hardcover
- Publisher: Clarendon Press
About The Book
This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical... Read more
FINDING THE BEST PRICES
Related Books
- Year: 2008
- Edition: 3rd
- Publisher: Springer
- Type: Hardcover
- ISBN13: 9781441972873
- ISBN: 1441972870
- Year: 2010
- Edition: 1st
- Publisher: A K Peters/CRC Press
- Type: Hardcover
- ISBN13: 9781568814155
- ISBN: 1568814151
- Year: -0001
- Edition: 1st
- Publisher: Jones & Bartlett Learning
- Type: Hardcover
- ISBN13: 9780867204940
- ISBN: 086720494X
