From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford...
- List Price: $205.00
- ISBN-10: 0198566514
- ISBN-13: 9780198566519
- Edition: 1st
- Type: Kindle Edition
- 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
Related Books
- Year: 2001
- Edition: 3rd
- Publisher: Waveland Pr Inc
- Type: Hardcover
- ISBN13: 9781577663027
- ISBN: 1577663020
- Year: -0001
- Edition: 2nd
- Publisher: American Mathematical Society
- Type: Hardcover
- ISBN13: 9780821847916
- ISBN: 0821847910
- Year: 2008
- Edition: 8th
- Publisher: McGraw-Hill Professional
- Type: Paperback
- ISBN13: 9780071263283
- ISBN: 0071263284