BibTeX记录系列/leus/Setzer12
@集合{DBLP:系列/leus/Setzer12， 作者={安东·塞泽尔}， editor={Peter Dybjer和 Sten Lindstr{\“{o}}m和 埃里克·帕尔姆格伦和 G{\“{o}}跑了Sundholm}， title={作为由其消除规则确定的类型的余代数}， booktitle={认识论与本体论——关于哲学和基础的论文 Per Martin-L{\“{o}}f}数学荣誉奖， series={逻辑、认识论和科学的统一}， 体积={27}， 页码={351--369}， publisher={Springer}， 年份={2012}， url={ https://doi.org/10.1007/978-94-007-4435-6 \_16}, doi={10.1007/978-94-007-4435-6\_16}， timestamp={2019年6月2日星期日20:42:14+0200}， biburl={ https://dblp.org/rec/series/leus/Setzer12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
