
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

$2100
A Probability Path
- Year: 1999
- Edition: 1st
- Publisher: Birkhäuser
- Type: Paperback
- ISBN13: 9780817640552
- ISBN: 081764055X

- Year: -0001
- Edition: 2nd
- Publisher: Academic Press
- Type: Hardcover
- ISBN13: 9780120652020
- ISBN: 0120652021

- Year: -0001
- Edition:
- Publisher: Princeton University Press
- Type: Hardcover
- ISBN13: 9780691113852
- ISBN: 0691113858