认识论与本体论——佩尔·马丁·洛夫关于数学哲学和数学基础的论文

彼得·戴比杰,斯坦·林德斯特伦,埃里克·帕尔姆格伦,戈兰·桑德霍姆,编辑,认识论与本体论——佩尔·马丁·洛夫关于数学哲学和数学基础的论文.第27卷,共页逻辑、认识论与科学的统一、施普林格、,2012 [美国国防部]

摘要

缺少摘要。

目录