From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford...

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

FINDING THE BEST PRICES

Related Books

A Probability Path
  • Year: 1999
  • Edition: 1st
  • Publisher: Birkhäuser
  • Type: Paperback
  • ISBN13: 9780817640552
  • ISBN: 081764055X
Probability and Measure Theory
  • Year: -0001
  • Edition: 2nd
  • Publisher: Academic Press
  • Type: Hardcover
  • ISBN13: 9780120652020
  • ISBN: 0120652021
Complex Analysis (Princeton Lectures in Analysis, No. 2)
  • Year: -0001
  • Edition:
  • Publisher: Princeton University Press
  • Type: Hardcover
  • ISBN13: 9780691113852
  • ISBN: 0691113858