BibTeX记录博士/民族精神/加德纳92
@博士{DBLP:phd/ethos/Gardner92， 作者={菲利普·加德纳}， title={在类型理论中表示逻辑}， 学校={爱丁堡大学，{英国}}， 年份={1992年}， url={ https://hdl.handle.net/1842/14888 }, timestamp={2022年5月4日星期三12:59:15+0200}， biburl={ https://dblp.org/rec/phd/ethos/Gardner92.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
