BibTeX记录日志/jsyml/Statman82
@文章{DBLP:journals/jsyml/Statman82, author={Richard Statman}, title={完整性、不变性和lambda-Definitibility}, 日志={J.Symb.Log.}, 体积={47}, 数字={1}, 页数={17--26}, 年份={1982年}, 网址={ 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 } }