From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

by Laura Crosilla and Peter Schuster

0 ratings • 0 reviews • 0 shelved
Book cover for From Sets and Types to Topology and Analysis
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 0191524204
  • ISBN13 9780191524202
  • Publish Date December 2005
  • Publish Status Active
  • Publish Country GB
  • Publisher Oxford University Press
  • Imprint Clarendon Press
  • Format eBook
  • Language English