阿诺·阿夫隆 彭加莱-韦尔的预测性:超越\(\Gamma_0\)。 (英语) Zbl 07828958号 牛市。符号。日志。 30,编号1,41-91(2024).MSC公司:03A05号 03B30型 03E30年 03E10年 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。30,编号1,41--91(2024;Zbl 07828958) 全文: 内政部 OA许可证
约翰·范·本特姆;托马斯·伊卡德 交错逻辑和计数。 (英语) Zbl 07808884号 牛市。符号。日志。 29,第4期,503-587(2023).MSC公司:03A05号 03B45号 03B65号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和\textit{T.Icard},公牛。符号。日志。29,第4号,503--587(2023;Zbl 07808884) 全文: 内政部
卡夫沃斯,G.A。;丹尼尔·格拉泽 锁下与钥匙:多模态逻辑的证明系统。 (英语) Zbl 07725102号 牛市。符号。日志。 29,第2期,264-293(2023).MSC公司:2002年3月 03B40型 03B45号 03B70号 2007年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Kavvos}和\textit{D.Gratzer},公牛。符号。日志。29,第2号,264--293(2023;Zbl 07725102) 全文: 内政部 arXiv公司
舒尔曼,迈克尔 构造数学的仿射逻辑。 (英语) 兹伯利07606771 牛市。符号。日志。 28,第3号,327-386(2022).MSC公司:第03页 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},公牛。符号。日志。28,第3号,327--386(2022;Zbl 07606771) 全文: 内政部 arXiv公司
阿诺·阿夫隆 100年后,Weyl重新审视了《Das Kontinuum》。 (英语) Zbl 1458.03006号 牛市。符号。日志。 26,第1号,26-79(2020). 审核人:延斯·莱曼斯基(黑根) MSC公司:03A05号 03B30型 03B38型 01A60型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。26,第1号,26--79(2020;Zbl 1458.03006) 全文: 内政部
帕维尔·普德拉克 有限域中的不完全性。 (英语) Zbl 1423.03245号 牛市。符号。日志。 23,第4期,405-441(2017).MSC公司:20层03 2015年3月1日 2015年第68季度 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák},公牛。符号。日志。23,第4号,405--441(2017;Zbl 1423.03245) 全文: 内政部 arXiv公司
安德烈亚斯·布拉斯;纳胡姆德肖维茨;尤里·古里维奇 两种算法何时相同? (英语) Zbl 1192.03021号 牛市。符号。日志。 15,第2期,145-168(2009). 审核人:Heribert Vollmer(汉诺威) MSC公司:03D99号 第68季度01 68周01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}等人,公牛。符号。日志。15,第2号,145--168(2009;Zbl 1192.03021) 全文: 内政部 arXiv公司 反向链接: 卫生官员
纳胡姆德肖维茨;尤里·古里维奇 可计算性的自然公理化和Church论文的证明。 (英语) Zbl 1167.03027号 牛市。符号。日志。 14,第3号,299-350(2008). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03日第10天 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Y.Gurevich},公牛。符号。日志。14,第3号,299--350(2008;Zbl 1167.03027) 全文: 内政部
齐格弗里德·戈特瓦尔德 数学模糊逻辑。 (英语) Zbl 1144.03023号 牛市。符号。日志。 14,第2期,210-239(2008). 审核人:拉德科·梅西亚尔(布拉迪斯拉发) MSC公司:03B52号 03B50 2002年3月 03-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Gottwald},公牛。符号。日志。14,第2号,210--239(2008;Zbl 1144.03023) 全文: 内政部
萨沙·鲁宾 自动机表示结构:有限字符串情况的调查。 (英语) Zbl 1146.03028号 牛市。符号。日志。 14,第2期,169-209(2008). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:05年3月 03B25号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{S.鲁宾},公牛。符号。日志。14,第2号,169--209(2008;Zbl 1146.03028) 全文: 内政部
威廉·泰特(编辑) 2007年符号逻辑协会春季会议。2007年4月19日至21日,伊利诺伊州芝加哥市帕尔默豪斯希尔顿酒店。 (英语) Zbl 1130.03301号 牛市。符号。日志。 13,第4号,553-560(2007).MSC公司:03-06 00英镑05 PDF格式BibTeX公司 XML格式引用 \textit{W.Tait}(编辑),公牛。符号。日志。13,编号4553-560(2007年;兹bl 1130.03301) 全文: 内政部 欧几里得
内森·西格林 命题证明的复杂性。 (英语) Zbl 1133.03037号 牛市。符号。日志。 13,第4期,417-481(2007). 审核人:Emil Jeřábek(普拉哈) MSC公司:20层03 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Segerlind},公牛。符号。日志。13,第4号,417--481(2007;Zbl 1133.03037) 全文: 内政部 欧几里得
斯坦·韦纳(Stan S.Wainer)。(编辑) 2005年7月28日至8月3日,希腊雅典,符号逻辑协会2005年夏季会议,2005年逻辑学术讨论会。 (英语) Zbl 1107.03303号 牛市。符号。日志。 12,第2期,310-361(2006).MSC公司:03-06 00英镑05 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Wainer}(编辑),公牛。符号。日志。12,第2号,310-361(2006;Zbl 1107.03303) 全文: 内政部
杰里米·阿维加德 在证明理论中的强迫。 (英语) Zbl 1064.03034号 牛市。符号。日志。 10,第3号,305-333(2004).MSC公司:03财年03 35层03 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},公牛。符号。日志。10,第3号,305-333(2004;Zbl 1064.03034) 全文: 内政部 链接