伊曼纽尔·基伦斯基：具有多个线性阶的二元逻辑的可判定性问题。(2011) conf/csl/Kieronski11 10.4230/LIPICS公司。CSL.2011.337号文件 多线性阶二元逻辑的可判定性问题。 1 伊曼纽尔·基伦斯基 1 337-351 CSL公司 CSL公司 2011 2011 dblp记录“conf/csl/Kieronski11”的RDF数据的来源信息 2019-09-16T15:24:07+0200