附录:“2018年符号逻辑协会欧洲夏季会议。2018年逻辑学术讨论会”。 (英语) Zbl 1431.03007号 牛市。符号。日志。 25,第4号,542(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 牛市。符号。日志。25,第4号,542(2019;Zbl 1431.03007) 全文: DOI程序
列夫·贝克莱米舍夫(编辑) 2019年符号逻辑协会欧洲夏季会议:2019年逻辑学术讨论会。2019年8月11日至16日,捷克共和国布拉格。 (英语) Zbl 1431.03009号 牛市。符号。日志。 25,第4期,481-530(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}(编辑),公牛。符号。日志。25,第4号,481--530(2019;Zbl 1431.03009) 全文: DOI程序
马丁·邦德(编辑) 澳大利亚逻辑协会年会。澳大利亚卧龙岗大学,2019年7月12日。 (英语) 兹比尔1431.03010 牛市。符号。日志。 25,第4号,479-480(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Bunder}(编辑),公牛。符号。日志。25,第4号,479--480(2019;Zbl 1431.03010) 全文: DOI程序
马纳特·穆斯塔法(编辑) 第十六届亚洲逻辑会议:符号逻辑协会的正式会议。哈萨克斯坦努尔苏尔坦纳扎尔巴耶夫大学,2019年6月17日至21日。 (英语) Zbl 1431.03012号 牛市。符号。日志。 25,第4号,456-478(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Mustafa}(编辑),公牛。符号。日志。25,编号456-478(2019;兹bl 1431.03012) 全文: DOI程序
阿萨夫·卡拉吉拉 用经典结构实现可实现性结果。 (英语) Zbl 07167381号 牛市。符号。日志。 25,第4期,429-445(2019).MSC公司:03E25型 03E35号 PDF格式BibTeX公司 XML格式引用 \发短信{A.Karagila},公牛。符号。日志。25,第4号,429--445(2019;Zbl 07167381) 全文: DOI程序 arXiv公司 链接 反向链接: 卫生官员