The monotone completeness theorem in constructive reverse mathematics Invited Presentation at Seventh International Conference on Computability and Complexity in Analysis
The monotone completeness theorem in constructive reverse mathematics Invited Presentation at Seventh International Conference on Computability and Complexity in Analysis
复制标题
构造逆向数学中的单调完备性定理第七届国际可计算性和分析复杂性会议特邀报告
DOI：
10.4204/eptcs.24.5
复制
发表时间：
2010
影响因子：
--
通讯作者：
Ishihara H
中科院分区：
文献类型：
--
作者：
Ishihara H
