BibTeX记录日志/jsyml/Statman82
@文章{DBLP:journals/jsyml/Statman82， author={Richard Statman}， title={完整性、不变性和lambda-Definitibility}， 日志={J.Symb.Log.}， 体积={47}， 数字={1}， 页数={17--26}， 年份={1982年}， url={ https://doi.org/10.2307/2273377 }, doi={10.2307/2273377}， timestamp={2017年5月28日，星期日13:21:55+0200}， biburl={ https://dblp.org/rec/journals/jsyml/Statman82.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
