BibTeX记录日志/ndjfl/TurV08
@文章{DBLP:journals/ndjfl/TurV08， author={Juan Soliveres Tur和 胡安·克莱门特·维达尔（Juan Climent Vidal）， title=｛Lindenbaum-Tarski的函数、图解解释和伴随 句子逻辑之间的柱面}， journal={圣母院J.正式日志.}， 体积={49}， 数字={2}， 页数={185--202}， 年份={2008}， url={ https://doi.org/10.1215/00294527-2008-007 }, doi={10.1215/00294527-2008-007}， timestamp={2020年5月21日星期四20:05:51+0200}， biburl={ https://dblp.org/rec/journals/ndjfl/TurV08.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
