直觉主义中的真理与证明

达格·普拉维茨.直觉主义中的真理与证明.彼得·戴比杰,斯坦·林德斯特罗姆,埃里克·帕尔姆格伦,戈兰·桑德霍姆,编辑,认识论与本体论——纪念Per-Martin-Löf的数学哲学与基础论文.第27卷,共页逻辑、认识论与科学的统一,页45-67、施普林格、,2012 [doi]

摘要

缺少摘要。