模糊的 7份文件引用(1985–2017) 软件作者: 托马斯·莱曼;雅克·勒克斯 相关软件: Nuprl;LCF;曼蒂萨… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);动力系统和遍历理论(37-XX)…