缺少摘要。
- 归纳定义和选择原则在程序综合中的应用乌尔里希·伯杰0001,莫妮卡·塞森伯格.
- 构造拓扑中的分离性质彼得·阿克泽尔,克里斯托弗·福克斯.
- Banach代数元素数值范围的逼近道格拉斯·S·布里奇斯,罗宾·哈瓦.
- 构造集理论的前置模型尼古拉·甘比诺.
- 介绍埃雷特·毕晓普,道格拉斯·S·布里奇斯.
- 经典概念和构造概念及证明的二重性萨拉·内格里,简·冯·柏拉图.
- 局部紧形式拓扑在诱导生成拓扑上的预测指数玛丽亚·艾米莉亚·迈埃蒂.
- 不可分Banach空间的可计算性和Landau定理瓦斯科·布拉特卡.
- 构造性紧逼近可积集低音喷溅.
- 构造集理论及其范畴论模型亚历克斯·辛普森.
- 地形中的宇宙托马斯·斯特里彻.
- 通往第洪诺夫的一些建设性道路斯蒂芬·维克斯.
- Krull维数的一个基本特征蒂埃里·科昆,亨利·隆巴迪,玛丽·弗朗索瓦斯·罗伊.
- 构造数学中c*-代数理论简介Hiroki Takamura公司.
- 构造集理论中的广义归纳定义迈克尔·拉什扬.
- 构造数学的极简主义基础玛丽亚·艾米莉亚·迈埃蒂,乔瓦尼·桑宾.
- 构造性逆向数学:紧性性质石原慎美.
- 依赖型理论中的交互程序和弱最终余代数汉科克,安东·塞泽尔.
- 实线和形式空间上的连续性埃里克·帕尔姆格伦.
- rn上局部凸拓扑的构造唯一性道格拉斯·S·布里奇斯,Luminita Vêta(发光菌).
- 空间作为共单子体安娜·布卡洛,朱塞佩·罗索里尼.