BibTeX唱片系列/leus/Dybjer12
@书籍{DBLP:series/leus/Dybjer12， editor={Peter Dybjer和 Sten Lindstr{\“{o}}m和 埃里克·帕尔姆格伦和 G{\“{o}}跑了Sundholm}， title={认识论与本体论——关于哲学和基础的论文 Per Martin-L{\“{o}}f}数学荣誉奖， 系列={逻辑、认识论和科学的统一}， 体积＝{27}， publisher={Springer}， 年份={2012}， url={ https://doi.org/10.1007/978-94-007-4435-6 }, doi={10.1007/978-94-007-4435-6}， isbn={978-94-007-4434-9}， timestamp={2019年6月2日星期日20:42:14+0200}， biburl={ https://dblp.org/rec/series/leus/Dybjer12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
