代数拓扑的构造性理论——Ⅰ.量度与能计算性概念

吴文俊

A CONSTRUCTIVE THEORY OF ALGEBRAIC TOPOLOGY——PART Ⅰ.NOTIONS OF MEASURE AND CALCULABILITY

WU WENJUN (WU WEN-TS(?)N)

系统科学与数学 . 1981, (1): 53 -068 . DOI: 10.12341/jssms10001