Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
达格·普拉维茨.直觉主义中的真理与证明.在彼得·戴比杰,斯坦·林德斯特罗姆,埃里克·帕尔姆格伦,戈兰·桑德霍姆,编辑,认识论与本体论——纪念Per-Martin-Löf的数学哲学与基础论文.第27卷,共页逻辑、认识论与科学的统一,页45-67、施普林格、,2012 [doi]
缺少摘要。