BibTeX记录日志/tcs/Statman79
@文章{DBLP:journals/tcs/Statman79， author={Richard Statman}， title={直觉命题逻辑是多项式空间完备}， 日志={Theor.Comput.Sci.}， 体积={9}， 页数={67--72}， 年份={1979}， 网址={ https://doi.org/10.1016/0304-3975 (79)90006-9}, doi={10.1016/0304-3975（79）90006-9}， timestamp={2021年2月17日星期三22:00:45+0100}， biburl={ https://dblp.org/rec/journals/tcs/Statman79.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
