安东尼奥·蒙塔尔班(编辑) 2021年符号逻辑协会冬季会议。虚拟聚会,联合数学会议,2021年1月8日至9日。 (英语) Zbl 1473.03003号 牛市。符号。日志。 27,第1期,102-106(2021)。MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán}(编辑),公牛。符号。日志。27,第1号,102--106(2021;Zbl 1473.03003) 全文: 内政部
吉尔·萨吉(编辑) 2021年符号逻辑协会冬季会议。虚拟聚会,东部APA会议,2021年1月7日至8日。 (英语) Zbl 1473.03005号 牛市。符号。日志。 27,第1号,98-101(2021)。MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{G.Sagi}(编辑),公牛。符号。日志。27,第1号,98--101(2021;Zbl 1473.03005) 全文: 内政部
吉尔·萨吉(编辑) 2020年符号逻辑协会冬季会议。美国旧金山,2020年4月8日至11日。 (英语) Zbl 1473.03004号 牛市。符号。日志。 27,第1期,94-97(2021)。MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{G.Sagi}(编辑),公牛。符号。日志。27,编号1,94-97(2021;Zbl 1473.03004) 全文: 内政部
威廉·陈-梅尔滕斯;梅纳赫姆·科杰曼;Stepráns,法学家 隔墙上有强烈的色彩。 (英语) Zbl 1496.03179号 牛市。符号。日志。 27,第1号,67-90(2021)。 审核人:Yair Hayut(耶路撒冷) MSC公司:03E02号 03E17年 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen-Mortens}等人,公牛。符号。日志。27,第1号,67--90(2021;Zbl 1496.03179) 全文: 内政部 arXiv公司
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 证明逻辑及其会议组合中可判定性的约简技术。 (英语) Zbl 07379167号 牛市。符号。日志。 27,第1号,39-66(2021)。MSC公司:03B25号 03B45号 03B20型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,公牛。符号。日志。27,编号1,39-66(2021;兹bl 07379167) 全文: 内政部
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性的决定:关于弗里德曼的一个问题及其Rybakov的解决方案。 (英语) Zbl 07379165号 牛市。符号。日志。 27,第1期,1-38页(2021年)。MSC公司:03B20型 03B25号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},公牛。符号。日志。27,编号1,1--38(2021;Zbl 07379165) 全文: 内政部