From Sets and Types to Topology and Analysis —— Towards practicable foundations for constructive mathematics

----- 拓扑分析的确立与类型及其分析：构造性数学实用基础

ISBN: 9780198566519 出版年：2007 页码：371 Clarendon Press

This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.