From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
Author(s)
Bibliographic Information
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
（Oxford logic guides, 48）
Clarendon Press, 2005
Available at / 15 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index