莫里茨·米勒 [简·卡拉杰切克] 书评:J.Krajìček,证明复杂性。 (英语) Zbl 07725107号 牛市。符号。日志。 29,第2期,296-297(2023).MSC公司:00A17年 03-02 20层03 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.米勒},公牛。符号。日志。29,第2号,296--297(2023;Zbl 07725107) 全文: 内政部
卡夫沃斯,G.A。;丹尼尔·格拉泽 锁下与钥匙:多模态逻辑的证明系统。 (英语) Zbl 07725102号 牛市。符号。日志。 29,第2期,264-293(2023).MSC公司:03-02 03B40型 03B45号 03B70号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Kavvos}和\textit{D.Gratzer},公牛。符号。日志。29,第2号,264--293(2023;Zbl 07725102) 全文: 内政部 arXiv公司
罗德尼·G·唐尼。;亚历山大·梅尔尼科夫。 可计算的紧度量空间。 (英语) Zbl 07725101号 牛市。符号。日志。 29,编号2,170-263(2023).MSC公司:03D45号 03D78号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{R.G.唐尼}和\textit{A.G.梅尔尼科夫},公牛。符号。日志。29,编号2170-263(2023;Zbl 07725101) 全文: 内政部
亚蒂尔·哈列维;意大利卡普兰 工作模型理论家的饱和模型。 (英语) Zbl 07725100号 牛市。符号。日志。 29,第2期,163-169(2023).MSC公司:03元50分 03E45型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Halevi}和\textit{I.Kaplan},公牛。符号。日志。29,编号2,163--169(2023;Zbl 07725100) 全文: 内政部 arXiv公司
门罗·埃斯奎 通用庞大原则的不相容性。 (英语) Zbl 07725099号 牛市。符号。日志。 29,第2号,157-162(2023).MSC公司:03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Eskew},公牛。符号。日志。29,第2号,157--162(2023;Zbl 07725099) 全文: 内政部 arXiv公司