克里斯·康尼迪斯。 [达米尔·扎法罗夫。;卡尔·穆默特] 书评:D.D.Dzhafarov和C.Mummert,《逆向数学:问题、约简和证明》。 (英语) Zbl 07808887号 牛市。符号。日志。 29,第4号,660-662(2023).MSC公司:00A17年 03-01 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Conidis},公牛。符号。日志。29,第4号,660--662(2023;Zbl 07808887) 全文: 内政部
约翰·范·本特姆;托马斯·伊卡德 交错逻辑和计数。 (英语) 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) 全文: 内政部
藤原真本;石原、Hajime;内莫托、高子;铃木,Nobu-Yuki;Keita横山 逻辑原理的扩展框架和分隔。 (英语) Zbl 07749829号 牛市。符号。日志。 29,第3号,311-353(2023).MSC公司:03楼50 03B55号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}等人,公牛。符号。日志。29,第3号,311--353(2023;Zbl 07749829) 全文: 内政部
卡夫沃斯,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公司
查尔斯·麦卡蒂;斯图尔特·夏皮罗;安斯滕·克莱夫 选择公理在直觉上是错误的(在大多数情况下)。 (英语) Zbl 07665538号 牛市。符号。日志。 29,编号1,71-96(2023).MSC公司:03E25型 03楼55 03层60 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{C.McCarty}等人,公牛。符号。日志。29,编号1,71--96(2023;Zbl 07665538) 全文: 内政部
威尔·博尼;芭芭拉·卡西玛(Barbara F.Csima)。;Day,Nancy A。;马修·哈里森·特雷纳 哪类结构既有伪成分又可以由不定式句子定义? (英语) Zbl 07665536号 牛市。符号。日志。 29,编号1,1-18(2023).MSC公司:03B99号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{W.Boney}等人,公牛。符号。日志。29,编号1,1-18(2023;Zbl 07665536) 全文: 内政部 arXiv公司
阿尔伯克基,雨果;卡洛斯·卡莱罗 达科斯塔逻辑的抽象代数逻辑研究{C} _1个\)以及它的一些次协调扩展。 (英语) Zbl 07643022号 牛市。符号。日志。 28,第4期,477-528(2022).MSC公司:03B53号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{H.Albuquerque}和\textit{C.Caleiro},公牛。符号。日志。28,第4号,477--528(2022;Zbl 07643022) 全文: 内政部
煎炸,伊曼纽尔 关于二阶算法中均匀反射碎片的注记。 (英语) Zbl 1521.03236号 牛市。符号。日志。 28,第3期,451-465(2022年). 审核人:Leszek Aleksander Kołodziejczyk(华沙) MSC公司:35楼03号 03B30型 05年3月 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion},公牛。符号。日志。28,第3号,451--465(2022;Zbl 1521.03236) 全文: 内政部 arXiv公司
詹姆斯·巴恩斯。;吴君乐;理查德·肖尔(Richard A.Shore)。 超算术分析的定理和几乎超算术分析定理。 (英语) Zbl 1505.03025号 牛市。符号。日志。 28,第1期,133-149(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D55号 35楼03号 05C63号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Barnes}等人,Bull。符号。日志。28,第1号,133--149(2022;Zbl 1505.03025) 全文: 内政部
劳伦斯·C·鲍尔森。 阿克曼函数的迭代形式:一个辅助证明实验。 (英语) Zbl 07482180号 牛市。符号。日志。 27,第4期,426-435(2021).MSC公司:03B35型 03D20日 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},公牛。符号。日志。27,第4号,426--435(2021;Zbl 07482180) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 局部紧序空间的McKinsey-Tarski定理。 (英语) 兹比尔1483.54016 牛市。符号。日志。 27,第2期,187-211(2021). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:54个F05 54D45号 03B45号 54国集团12 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,公牛。符号。日志。27,第2号,187--211(2021;Zbl 1483.54016) 全文: 内政部
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 证明逻辑及其会议组合中可判定性的约简技术。 (英语) Zbl 07379167号 牛市。符号。日志。 27,第1号,39-66(2021).MSC公司:03年2月25日 03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,公牛。符号。日志。27,编号1,39--66(2021;Zbl 07379167) 全文: 内政部
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性的决定:关于弗里德曼的一个问题及其Rybakov的解决方案。 (英语) Zbl 07379165号 牛市。符号。日志。 27,第1期,1-38页(2021年).MSC公司:03B20型 03B22号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},公牛。符号。日志。27,编号1,1--38(2021;Zbl 07379165) 全文: 内政部
塞巴斯蒂安·特维恩。 部分组合代数中的可计算性。 (英语) Zbl 1465.03078号 牛市。符号。日志。 26,编号3-4,224-240(2020). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D25号 03B40型 03D45号 03D75号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn},公牛。符号。日志。26,编号3--4,224--240(2020;Zbl 1465.03078) 全文: 内政部 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) 全文: 内政部
戴维·卡塔 书评:N.Francez,证明理论语义学。 (英语) Zbl 1435.00022号 牛市。符号。日志。 25,第3号,360-362(2019).MSC公司:00A17年 03-02 03财年03 03B05号 03B10号机组 03B65型 PDF格式BibTeX公司 XML格式引用 \textit{D.Catta},公牛。符号。日志。25,第3号,360-362(2019;Zbl 1435.00022) 全文: 内政部
安斯滕·克莱夫 Eta规则在Martin-Löf类型理论中。 (英语) Zbl 1486.03028号 牛市。符号。日志。 25,第3号,333-359(2019). 审核人:塞尔盖·索洛夫(图卢兹) MSC公司:03B38型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Klev},公牛。符号。日志。25,编号3333-359(2019;兹bl 1486.03028) 全文: 内政部 链接
Sandqvist,托尔 在推理关系的直觉扩张中保持结构属性。 (英语) Zbl 1522.03317号 牛市。符号。日志。 第3期第24期第291-305页(2018年).MSC公司:05年3月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Sandqvist},公牛。符号。日志。24,第3号,291--305(2018;Zbl 1522.03317) 全文: 内政部
埃里克·帕尔姆格伦 对拉塞尔式分支类型理论的建设性检验。 (英语) Zbl 1522.03040号 牛市。符号。日志。 24,第1期,90-106(2018).MSC公司:03B38型 35楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren},公牛。符号。日志。24,第1号,90--106(2018;Zbl 1522.03040) 全文: 内政部 arXiv公司
保罗·皮斯通 多态性和二阶逻辑的顽固循环:一个受害者的故事。 (英语) Zbl 1496.03023号 牛市。符号。日志。 24,第1期,1-52页(2018年).MSC公司:03A05号 03财年03 05年3月 03B16号 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{P.皮斯通},公牛。符号。日志。24,第1号,1-52(2018;Zbl 1496.03023) 全文: 内政部 arXiv公司
O.格里菲斯。;A.C.帕索。 勘误表:“同构不变性和超生成”。 (英语) 兹比尔1403.03010 牛市。符号。日志。 23,第4号,546(2017).MSC公司:03A05号 03年11月15日 03B10号机组 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{O.Griffiths}和\textit{A.C.Paseau},公牛。符号。日志。23,第44546号(2017年;Zbl 1403.03010) 全文: 内政部
蒂莫·贝林格;汤马斯·辛德勒 语义悖论的图形理论分析。 (英语) Zbl 1437.03017号 牛市。符号。日志。 23,第4期,442-492(2017). 审核人:Teun Koetsier(阿姆斯特丹) MSC公司:03A05号 03B10号机组 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{T.Beringer}和\textit{T.Schindler},公牛。符号。日志。23,第4号,442--492(2017;Zbl 1437.03017) 全文: 内政部 链接
罗斯·T·布雷迪。 元评估。 (英语) Zbl 1421.03011号 牛市。符号。日志。 23,第3号,296-323(2017).MSC公司:03B47号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Brady},公牛。符号。日志。23,第3号,296--323(2017;Zbl 1421.03011) 全文: 内政部
卡马尔·洛达亚 书评:S.Demri等人,《计算机科学中的时间逻辑》。有限状态系统。 (英语) Zbl 1417.00038号 牛市。符号。日志。 23,第2期,203-204(2017).MSC公司:00A17年 68-02 03B44号 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya},公牛。符号。日志。23,编号2203-204(2017;兹bl 1417.00038) 全文: 内政部
格里菲思,欧文;A.C.帕索。 同构不变性和超生成。 (英语) Zbl 1384.03032号 牛市。符号。日志。 22,第4期,482-503(2016); 更正同上,第23号,第4、546(2017)。MSC公司:03A05号 03年11月15日 03B10号机组 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{O.Griffiths}和\textit{A.C.Paseau},公牛。符号。日志。22,第4号,482--503(2016;Zbl 1384.03032) 全文: 内政部
卢多维奇·佩蒂 关于逆向数学中Ramsey型语句的开放式问题。 (英语) Zbl 1396.03012号 牛市。符号。日志。 22,第2期,151-169(2016).MSC公司:03B30型 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},公牛。符号。日志。22,第2号,151--169(2016;Zbl 1396.03012) 全文: 内政部 arXiv公司
安德热伊·因德泽扎克 超连续框架中的线性时间。 (英语) Zbl 1403.03114号 牛市。符号。日志。 22,第1期,121-144(2016).MSC公司:03财年03 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak},公牛。符号。日志。22,第1号,121--144(2016;Zbl 1403.03114) 全文: 内政部
迈克尔·比森 构造几何学和平行假设。 (英语) Zbl 1403.03130号 牛市。符号。日志。 2016年第1期第22页第1-104页.MSC公司:65楼03号 2005年5月5日 2015年11月51日 03楼55 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson},公牛。符号。日志。22,第1号,1--104(2016;Zbl 1403.03130) 全文: 内政部 arXiv公司
卡洛斯·阿雷塞斯;伊泽基尔·奥贝 模态逻辑中的对称性。 (英语) Zbl 1372.03036号 牛市。符号。日志。 21,第4期,373-401(2015).MSC公司:03B45号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{E.Orbe},公牛。符号。日志。21,第4号,373--401(2015;Zbl 1372.03036) 全文: 内政部 arXiv公司
布拉德·哈特 书评:K.Tent和M.Ziegler,模型理论课程。 (英语) Zbl 1336.00027号 牛市。符号。日志。 21,第3期,342-343(2015).MSC公司:00A17年 03-01 03B10号机组 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{B.Hart},公牛。符号。日志。21,第3号,342--343(2015;Zbl 1336.00027) 全文: 内政部
杰弗里·赫斯特。 书评:D.R.Hirschfeldt,切片真相。关于组合原理的可计算数学和逆向数学。 (英语) Zbl 1336.00029号 牛市。符号。日志。 21,第3号,338-339(2015).MSC公司:00A17年 03-02 03B30型 35楼03号 03日30分 03天80 05年3月 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hirst},公牛。符号。日志。21,第338-339号(2015年;兹bl 1336.00029) 全文: 内政部
约翰·科克伦;哈桑·马苏德 存在导入数学。 (英语) Zbl 1368.03012号 牛市。符号。日志。 21,第1期,第1-14页(2015年).MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Corcoran}和\textit{H.Masoud},公牛。符号。日志。21、第1号、第1-14号(2015;Zbl 1368.03012) 全文: 内政部
保罗·曼科苏;理查德·扎克 海因里希·贝曼1921年关于决策问题和逻辑代数的演讲。 (英语) Zbl 1369.03013号 牛市。符号。日志。 21,第2期,164-192(2015).MSC公司:03-03 01A60型 03年2月25日 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Mancosu}和\textit{R.Zach},公牛。符号。日志。21,第2号,164--192(2015;Zbl 1369.03013) 全文: 内政部 arXiv公司
罗伊·戴克霍夫;萨拉·内格里 一阶逻辑的几何化。 (英语) Zbl 1368.03013号 牛市。符号。日志。 21,第2期,123-163(2015).MSC公司:03B10号机组 05年3月 03B20型 03B45号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff}和\textit{S.Negri},公牛。符号。日志。21,第2号,第123--163条(2015;Zbl 1368.03013) 全文: 内政部 链接
迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 赫布兰德定理和非欧几里得几何。 (英语) Zbl 1375.03079号 牛市。符号。日志。 21,第2期,111-122(2015).MSC公司:65楼03号 03B30型 2005年5月5日 2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,公牛。符号。日志。21,第2号,111-122(2015;Zbl 1375.03079) 全文: 内政部 arXiv公司
Sebastian红杉-Grayson 书评:J.van Benthem,游戏中的逻辑。 (英语) Zbl 1336.00082号 牛市。符号。日志。 20,第4期,501-503(2014).MSC公司:00A17年 03-01 03A05号 03B45号 03B70号 91年2月26日 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.红杉-Grayson},公牛。符号。日志。20,第4号,501--503(2014;Zbl 1336.00082) 全文: 内政部
雅普·范·奥斯汀 书评:单价基础计划,同伦类型理论。数学的单价基础。 (英语) Zbl 1336.00105号 牛市。符号。日志。 20,第4期,497-500(2014).MSC公司:00A17年 03-02 55-02 03年11月15日 03G30型 第18页第15页 18个B05 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten},公牛。符号。日志。20,第4号,497--500(2014;Zbl 1336.00105) 全文: 内政部
冯·柏拉图,简 普遍性与存在性:历史视野中的量化逻辑。 (英语) Zbl 1345.03008号 牛市。符号。日志。 第4期,第20期,第417-448页(2014年).MSC公司:03-03 01A55号 03A05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。20,第4号,417--448(2014;Zbl 1345.03008) 全文: 内政部
冯·柏拉图,简 书评:W.Ewald(编辑)和W.Sieg(编辑),David Hilbert关于算术和逻辑基础的讲座,1917-1933年。 (英语) Zbl 1336.00106号 牛市。符号。日志。 20,第3期,363-368(2014).MSC公司:00A17年 03-03 01A60型 01A75号 03B30型 03财年03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。20,第3号,363--368(2014;Zbl 1336.00106) 全文: 内政部
Chong,C.T。;李伟;杨,岳 递归理论和逆向数学中的非标准模型。 (英语) Zbl 1341.03098号 牛市。符号。日志。 20,第2期,170-200(2014).MSC公司:05年3月 03B30型 03D45号 35楼03号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Chong}等人,公牛。符号。日志。20,第2号,170--200(2014;Zbl 1341.03098) 全文: 内政部 链接
斯特凡妮娅·森特隆 书评:E.Morscher,Normenlogik。Grundlagen–Systeme–Anwendungen。 (英语) Zbl 1297.00011号 牛市。符号。日志。 20,第1期,97-98(2014).MSC公司:00A17年 03-02 03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Centrone},公牛。符号。日志。20,第1号,97--98(2014;Zbl 1297.00011) 全文: 内政部
理查德·凯伊 稳健性和完整性的循环性。 (英语) 兹伯利1341.03011 牛市。符号。日志。 20,第1期,24-38(2014).MSC公司:03B10号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaye},公牛。符号。日志。20、第1号、第24--38号(2014;Zbl 1341.03011) 全文: 内政部 链接
阿希姆·布卢门塔什 书评:Bruno Courcelle和Joost Engelfriet,图结构和一元二阶逻辑。 (英语) 1280.00005兹罗提 牛市。符号。日志。 19,第3期,394-396(2013).MSC公司:00A17年 68-02 03年11月15日 05年3月 05立方厘米85 05C90年 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},公牛。符号。日志。19,第3号,394--396(2013;Zbl 1280.00005) 全文: 内政部
朱丽叶·肯尼迪 关于形式主义自由:实施哥德尔1946年普林斯顿200周年演讲。 (英语) Zbl 1348.03008号 牛市。符号。日志。 19,第3期,351-393(2013).MSC公司:03A05号 01A60型 03-03 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kennedy},公牛。符号。日志。19,第3号,351--393(2013;Zbl 1348.03008) 全文: 内政部 链接
斯坦利·N·伯里斯。;Sankappanavar,H.P。 布尔部分代数的霍恩理论。 (英语) 兹比尔1288.03037 牛市。符号。日志。 19,第1期,97-105(2013). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:05年3月 01A55号 03-03 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Burris}和\textit{H.P.Sankappanavar},公牛。符号。日志。19,第1号,97–105(2013年;兹bl 1288.03037) 全文: 内政部 欧几里得
阿尔伯特·维瑟 关于方案公理化的沃特定理。 (英语) Zbl 1272.03063号 牛市。符号。日志。 18,第3期,382-402(2012). 审核人:詹姆·加斯帕(里斯本) MSC公司:03B10号机组 03B30型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},公牛。符号。日志。18,第3号,382--402(2012;Zbl 1272.03063) 全文: 内政部 欧几里得 链接
阿里安娜·贝蒂;爱丽丝·勒布 在塔斯基的固体几何学基础上。 (英语) Zbl 1246.03024号 牛市。符号。日志。 18,第2期,230-260(2012). 审核人:维克托·潘布奇(凤凰城) MSC公司:03B30型 01A60型 03-03 51-03 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{A.Betti}和\textit{I.Loeb},公牛。符号。日志。18,第2号,230-260(2012;Zbl 1246.03024) 全文: 内政部 欧几里得 链接
Väänänen,佐科 二阶逻辑还是集合论? (英语) Zbl 1252.03024号 牛市。符号。日志。 18,第1期,91-121(2012).MSC公司:03B30型 03A05号 03年11月15日 03C85号 03E30年 PDF格式BibTeX公司 XML格式引用 \文本{J.Väänänen},公牛。符号。日志。18,第1号,91-121(2012;Zbl 1252.03024) 全文: 内政部 欧几里得 链接
安东尼奥·蒙塔尔班 逆向数学中的开放性问题。 (英语) Zbl 1233.03023号 牛市。符号。日志。 17,第3期,431-454(2011). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán},公牛。符号。日志。17,第3号,431--454(2011;Zbl 1233.03023) 全文: 内政部 链接
默多克·J·加贝。 名词性技术的基础:抽象语法中变量的逻辑和语义。 (英语) Zbl 1253.03059号 牛市。符号。日志。 17,第2期,161-229(2011).MSC公司:03B70号 03B40型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},公牛。符号。日志。17,第2号,161--229(2011;Zbl 1253.03059) 全文: 内政部
瓦斯科·布拉特卡;吉多·格拉迪 可计算分析中的有效选择和有界性原则。 (英语) Zbl 1226.03062号 牛市。符号。日志。 17,第1期,73-117(2011). 审核人:艾丽斯·勒布(基督城) MSC公司:03层60 03B30型 03日30分 03D45号 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{G.Gherardi},公牛。符号。日志。17,编号1,73--117(2011;Zbl 1226.03062) 全文: 内政部 arXiv公司 链接
理查德·肖尔(Richard A.Shore)。 逆向数学:逻辑的游乐场。 (英语) Zbl 1218.03006号 牛市。符号。日志。 16,第3期,378-402(2010). 审核人:约瑟夫·伯杰(慕尼黑) MSC公司:03B30型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore},公牛。符号。日志。16,第3号,378--402(2010;Zbl 1218.03006) 全文: 内政部
彼得·科勒纳 一阶和二阶强逻辑。 (英语) Zbl 1193.03019号 牛市。符号。日志。 16,第1期,1-36页(2010年).MSC公司:03B10号机组 03年11月15日 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Koellner},公牛。符号。日志。16,第1号,1-36(2010;Zbl 1193.03019) 全文: 内政部
斯蒂芬·辛普森。 质量问题和测量理论规律。 (英语) Zbl 1191.03007号 牛市。符号。日志。 15,第4期,385-409(2009). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D55号 35楼03号 03日30分 03天32分 28A05号 第28页,共15页 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Simpson},公牛。符号。日志。15,第4号,385--409(2009;Zbl 1191.03007) 全文: 内政部
阿拉斯代尔·厄克哈特 枚举布尔函数的类型。 (英语) Zbl 1181.03002号 牛市。符号。日志。 15,第3期,273-299(2009). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03-03 01A55号 01A60型 03B05号 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart},公牛。符号。日志。15,第3号,273--299(2009;Zbl 1181.03002) 全文: 内政部
瓦莱里·普利斯科 命题可实现性逻辑综述。 (英语) Zbl 1170.03005号 牛市。符号。日志。 15,第1期,1-42页(2009年). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{V.Plisko},公牛。符号。日志。15,第1号,1--42(2009;Zbl 1170.03005) 全文: 内政部
拉法·格鲁什琴斯基;安德烈·彼得鲁兹扎克(Andrzej Pietruszczak) 塔斯基立体几何的全面发展。 (英语) Zbl 1156.03011号 牛市。符号。日志。 14,第4期,481-540(2008). 审核人:维克托·潘布奇(凤凰城) MSC公司:03B30型 2005年5月5日 03-03 51-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gruszczyn ski}和\textit{A.Pietruszczak},公牛。符号。日志。14,第4号,481--540(2008;Zbl 1156.03011) 全文: 内政部
齐格弗里德·戈特瓦尔德 数学模糊逻辑。 (英语) Zbl 1144.03023号 牛市。符号。日志。 14,第2期,210-239(2008). 审核人:拉德科·梅西亚尔(布拉迪斯拉发) MSC公司:03B52号 03B50号 03-02 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月 03年2月25日 03D45号 PDF格式BibTeX公司 XML格式引用 \发短信{S.Rubin},公牛。符号。日志。14,第2号,169--209(2008;Zbl 1146.03028) 全文: 内政部
约翰·L·贝尔。 “一般情况下的不完整性”勘误表。 (英语) Zbl 1139.03317号 牛市。符号。日志。 14,No.1,122(2008).MSC公司:03F40型 03A05号 03B30型 03B45号 30楼03号 第03页第45页 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Bell},公牛。符号。日志。14,第1122号(2008;Zbl 1139.03317) 全文: 内政部
丹尼斯·邦内 逻辑性和不变性。 (英语) Zbl 1146.03002号 牛市。符号。日志。 14,第1号,29-68(2008). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03A05号 03C75号 03C80号 03C95号 03B22号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bonnay},公牛。符号。日志。14,第1号,第29--68号(2008;Zbl 1146.03002) 全文: 内政部 链接
伊恩·普拉特·哈特曼 关于数值定三段论及相关逻辑的计算复杂性。 (英语) Zbl 1166.03011号 牛市。符号。日志。 14,第1号,1-28(2008). 审核人:玛丽·杜日伊(俄斯特拉发) MSC公司:03B65型 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},公牛。符号。日志。14,编号1,1--28(2008;兹bl 1166.03011) 全文: 内政部
约翰·贝尔。 一般情况下的不完整性。 (英语) Zbl 1131.03031号 牛市。符号。日志。 13,第1期,21-30(2007); 更正同上,第14号,第122(2008)。 审核人:Albert A.Mullin(麦迪逊) MSC公司:03F40型 03A05号 03B30型 03B45号 30楼03号 第03页第45页 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Bell},公牛。符号。日志。13、第1号、第21--30号(2007;Zbl 1131.03031) 全文: 内政部
伊格纳西奥·杰内 塔斯基对结果的共同概念是什么? (英语) Zbl 1105.03003号 牛市。符号。日志。 12,第1号,1-42(2006). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03-03 01A60型 03A05号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{I.Jané},公牛。符号。日志。12,第1号,1--42(2006;Zbl 1105.03003) 全文: 内政部 链接
卡尔·穆默特;斯蒂芬·辛普森。 逆向数学与(Pi_2^1)理解。 (英语) Zbl 1106.03050号 牛市。符号。日志。 11,第4期,526-533(2005). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Mummert}和\textit{S.G.Simpson},公牛。符号。日志。11,第4号,526--533(2005;Zbl 1106.03050) 全文: 内政部
艾哈迈德、塔雷克说 代数逻辑,它今天在哪里? (英语) Zbl 1111.03053号 牛市。符号。日志。 第4期第11期,465-516页(2005年). 审核人:Michiro Kondo(Inzai) MSC公司:03Gxx公司 03-02 03G15年 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Sayed Ahmed},公牛。符号。日志。11,第4号,465--516(2005;Zbl 1111.03053) 全文: 内政部
罗马人孔查科夫;阿吉·库鲁茨;扎卡里亚舍夫,迈克尔 双变量一阶直觉主义和模态逻辑的不确定性。 (英语) 邮编1096.03008 牛市。符号。日志。 11,第3期,428-438(2005).MSC公司:03年2月25日 03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,公牛。符号。日志。11,第3号,428--438(2005;Zbl 1096.03008) 全文: 内政部 链接
约瑟夫·米莱蒂(Joseph R.Mileti)。 划分定理和可计算性理论。 (英语) Zbl 1097.03037号 牛市。符号。日志。 11,第3期,411-427(2005). 审核人:杰弗里·赫斯特(布恩) MSC公司:03D45号 10年5月 35楼03号 03天80 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Mileti},公牛。符号。日志。11,第3号,411--427(2005;Zbl 1097.03037) 全文: 内政部
罗伯特·戈德布拉特;伊恩·霍德金森;维尼马,伊德 Erdős图解决了Fine的规范性问题。 (英语) Zbl 1060.03038号 牛市。符号。日志。 第2期,第10期,186-208页(2004年).MSC公司:03B45号 03C05号机组 06E25年 05C80号 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}等人,公牛。符号。日志。10,编号2186-208(2004年;兹bl 1060.03038) 全文: 内政部
基思·德夫林 Jon Barwise关于自然语言语义学的论文。 (英语) Zbl 1069.03015号 牛市。符号。日志。 10,第1期,54-85(2004). 审核人:所罗门·马库斯(布库雷什蒂) MSC公司:03B65型 PDF格式BibTeX公司 XML格式引用 \textit{K.Devlin},公牛。符号。日志。10,第1号,第54--85条(2004;Zbl 1069.03015) 全文: 内政部
伊恩·霍德金森;马丁·奥托 有限结构中的有限共形超图覆盖和Gaifman团。 (英语) Zbl 1058.03031号 牛市。符号。日志。 9,第3期,387-405(2003).MSC公司:03C13号机组 03B45号 05C65号 03B70号 05年6月29日 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}和\textit{M.奥托},公牛。符号。日志。9,第3号,387--405(2003;Zbl 1058.03031) 全文: 内政部 欧几里得 链接
居里,P.-L。 编程中的对称性和交互性。 (英语) Zbl 1058.03027号 牛市。符号。日志。 9,第2期,169-180(2003).MSC公司:03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.L.居里},公牛。符号。日志。9,编号2169-180(2003年;兹bl 1058.03027) 全文: 内政部 arXiv公司 欧几里得
吉安·伊夫·吉拉德 从基础到滑稽。 (英语) Zbl 1056.03035号 牛市。符号。日志。 9,第2期,131-168(2003).MSC公司:07年3月 03楼52 03A05号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard},公牛。符号。日志。9,第2号,131--168(2003;Zbl 1056.03035) 全文: 内政部 欧几里得
贾科·辛提卡 超经典逻辑(又称IF逻辑)及其对逻辑理论的启示。 (英语) Zbl 1020.03024号 牛市。符号。日志。 8,第3期,404-423(2002). 审核人:沃尔克·佩克豪斯(帕德博恩) MSC公司:03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.欣提卡},公牛。符号。日志。8,第3号,404--423(2002;Zbl 1020.03024) 全文: 内政部 链接
罗宾·赫希;伊恩·霍德金森;罗杰·D·麦德克斯。 有限多变量的可证明性。 (英语) Zbl 1024.03010号 牛市。符号。日志。 8,第3期,348-379(2002). 审核人:Jan Waszkiewicz(Wrocław) MSC公司:03B10号机组 20层03 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,公牛。符号。日志。8,第3号,348--379(2002;Zbl 1024.03010) 全文: 内政部 链接
彼得·施罗德·海斯特 解析和结构推理的起源:赫兹和根岑的早期证明理论思想。 (英语) Zbl 1005.03004号 牛市。符号。日志。 8,第2期,246-265(2002). 审核人:维克托·潘布奇(凤凰城) MSC公司:03-03 01A60型 05年3月 03B05号 PDF格式BibTeX公司 XML格式引用 \发短信{P.Schroeder Heister},公牛。符号。日志。8,第2号,246--265(2002;Zbl 1005.03004) 全文: 内政部 链接
法鲁兹卡马拉丁;特温·拉恩;Rob Nederpelt公司 1940年以前的逻辑和数学类型。 (英语) Zbl 1006.03002号 牛市。符号。日志。 8,第2期,185-245(2002). 审核人:Jan Waszkiewicz(Wrocław) MSC公司:03-03 03B40型 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaraddine}等人,公牛。符号。日志。8,第2号,185--245(2002;Zbl 1006.03002) 全文: 内政部 链接
Väänänen,佐科 二阶逻辑和数学基础。 (英语) Zbl 1002.03013号 牛市。符号。日志。 7,第4期,504-520(2001).MSC公司:03B30型 03年11月15日 03E99型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Väänänen},公牛。符号。日志。7,第4号,504--520(2001;Zbl 1002.03013) 全文: 内政部 链接 链接
何塞·费雷洛斯 现代逻辑之路——解读。 (英语) Zbl 1005.03003号 牛市。符号。日志。 7,第4期,441-484(2001). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03-03 03A05号 01A55号 01A60型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Ferreirós},公牛。符号。日志。7,第4号,441--484(2001;Zbl 1005.03003) 全文: 内政部 链接
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗伯特·哈珀;尼尔·伊梅尔曼;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。;维克托·维亚努 关于逻辑在计算机科学中的不同寻常的有效性。 (英语) Zbl 0979.03033号 牛市。符号。日志。 第7期,第213-236号(2001年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B70号 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}等人,公牛。符号。日志。7,第2号,213--236(2001;Zbl 0979.03033) 全文: 内政部 链接 链接
谢尔盖·阿特莫夫。 显式可证明性和构造性语义。 (英语) Zbl 0980.03059号 牛市。符号。日志。 7,第1期,1-36页(2001年). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:第03页第45页 03B45号 03B20型 03楼50 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Artemov},公牛。符号。日志。7,第1号,1--36(2001;Zbl 0980.03059) 全文: 内政部 链接
德克·范·达伦;海因茨·迪特,埃宾豪斯 泽梅洛与斯科勒姆悖论。 (英语) Zbl 0976.0302号 牛市。符号。日志。 6,第2期,145-161(2000). 审核人:乌尔里希·费尔格纳(图宾根) MSC公司:03-03 01A60型 00A30型 03E30年 03E70型 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen}和\textit{H.-D.Ebbinghaus},公牛。符号。日志。6,编号2,145--161(2000;Zbl 0976.0302) 全文: 内政部 链接
Jean-Marie Le Bars 存在二阶逻辑片段的0-1定律反例:概述。 (英语) 兹比尔0958.03022 牛市。符号。日志。 6,第1期,67-82(2000). 审核人:象牙格拉坦-吉尼斯(孟加拉/赫茨) MSC公司:03C13号机组 03B20型 03-02 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Le Bars},公牛。符号。日志。6,编号1,67--82(2000;Zbl 0958.03022) 全文: 内政部 链接
理查德·扎克 波斯特之前的完整性:伯奈斯、希尔伯特和命题逻辑的发展。 (英语) Zbl 0942.03003号 牛市。符号。日志。 5,第3期,331-366(1999). 审核人:V.佩克豪斯(爱尔兰根) MSC公司:03-03 01A60型 03A05号 00A30型 03年2月25日 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Zach},公牛。符号。日志。5,第3号,331--366(1999;Zbl 0942.03003) 全文: 内政部 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。 教会的问题再次出现。 (英语) Zbl 0932.03029号 牛市。符号。日志。 5,第2期,245-263(1999).MSC公司:03B70号 第68季度第60季度 05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},公牛。符号。日志。5,第2号,245--263(1999;Zbl 0932.03029) 全文: 内政部 链接 链接
O'Hearn,Peter W。;大卫·J·派姆。 捆绑暗示的逻辑。 (英语) Zbl 0930.03095号 牛市。符号。日志。 5,第2期,215-244(1999).MSC公司:03楼52 03G30型 03B20型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{D.J.Pym},公牛。符号。日志。5,第2号,215--244(1999;Zbl 0930.03095) 全文: 内政部 链接
胡安·巴巴 真理谓词的构造:近似与修正。 (英语) Zbl 0932.03001号 牛市。符号。日志。 4,第4号,399-417(1998). 审核人:L.F.Goble(塞勒姆) MSC公司:03A05号 03B45号 03B50号 03B53号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Barba},公牛。符号。日志。4,第4号,399--417(1998;Zbl 0932.03001) 全文: 内政部 链接
贾科·辛提卡 真值定义、斯科勒姆函数和公理集理论。 (英语) 兹比尔0918.03005 牛市。符号。日志。 4,第3号,303-337(1998). 审核人:G.Mints(斯坦福) MSC公司:03A05号 03F40型 03B10号机组 03C07号机组 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{J.欣提卡},公牛。符号。日志。4,第3号,303--337(1998;Zbl 0918.03005) 全文: 内政部 链接
安德森·C·安东尼 阿隆佐·丘奇对哲学和内涵逻辑的贡献。 (英语) Zbl 0908.03002号 牛市。符号。日志。 4,第2期,129-171(1998年). 审核人:V.佩克豪斯(爱尔兰根) MSC公司:03A05号 03-03 03B45号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Anderson},公牛。符号。日志。4,第2号,129--171(1998;Zbl 0908.03002) 全文: 内政部 链接 链接
马丁·霍夫曼 类别理论语义在使用高阶函数代数表征复杂性类中的应用。 (英语) Zbl 0931.03058号 牛市。符号。日志。 3,第4期,469-486(1997).MSC公司:2015年3月1日 2015年第68季度 03B40型 18层20 03G30型 第三天65 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},公牛。符号。日志。3,第4号,469--486(1997;Zbl 0931.03058) 全文: 内政部 链接 链接
盖·麦库斯克 游戏和\(\mathbf F\mathbf-P\mathbf-C\)的可定义性。 (英语) 兹伯利0894.03012 牛市。符号。日志。 3,第3期,347-362(1997). 审核人:雷内·戴维(Le Bourget-du-Lac) MSC公司:03B70号 68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。符号。日志。3,第3号,347--362(1997;Zbl 0894.03012) 全文: 内政部 链接
J·兰贝克。 程序、语法和参数:关于计算、语言和逻辑之间某些联系的个人观点。 (英语) Zbl 0897.0302号 牛市。符号。日志。 3,第3期,312-328(1997). 审核人:C.柏林(巴黎) MSC公司:03-02 68-02 03D20日 05年3月 03B65型 2005年第68季度 03日第10天 03B40型 2012年第68季度 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{J.Lambek},公牛。符号。日志。3,第3号,312--328(1997;Zbl 0897.0302) 全文: 内政部 链接
亨克·巴伦德雷格特 lambda演算在逻辑和计算机科学中的影响。 (英语) Zbl 0887.03008号 牛市。符号。日志。 3,第2期,181-215(1997). 审核人:雷内·戴维(Le Bourget-du-Lac) MSC公司:03B40型 68号01 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt},公牛。符号。日志。3,编号2,181--215(1997;Zbl 0887.03008) 全文: 内政部 链接 链接
埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 关于二元一阶逻辑的决策问题。 (英语) Zbl 0873.03009号 牛市。符号。日志。 第3期,第1期,第53-69页(1997年).MSC公司:03年2月25日 2015年3月1日 03C13号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人,公牛。符号。日志。3,编号1,53--69(1997;Zbl 0873.03009) 全文: 内政部 链接 链接
伊戈尔·瓦卢基维奇 关于Kozen命题演算公理化完备性的注记。 (英语) 兹伯利0868.03010 牛市。符号。日志。 2,第3期,349-366(1996). 审核人:G.Mints(斯坦福) MSC公司:03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},公牛。符号。日志。2,第3号,349--366(1996;Zbl 0868.03010) 全文: 内政部 链接
科斯塔·多森 演绎完整性。 (英语) Zbl 0858.03063号 牛市。符号。日志。 2,第3期,243-283(1996).MSC公司:03G30型 03财年03 03B20型 03B40型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},公牛。符号。日志。2,第3号,243--283(1996;Zbl 0858.03063) 全文: 内政部 链接
Jean-Louis Krivine 经典逻辑完备性定理的形式直观证明。(Une preuve formelle et intuistonist e duéorème de compleétude de la logique classique) (法语) Zbl 0872.03004号 牛市。符号。日志。 2,第4期,405-421(1996). 审核人:J.-L.Krivine(巴黎) MSC公司:03B10号机组 第68季度第60季度 03B70号 03B40型 03年11月15日 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.克里文},公牛。符号。日志。2,第4号,405--421(1996;Zbl 0872.03004) 全文: 内政部 链接
阿拉斯代尔·厄克哈特 命题证明的复杂性。 (英语) Zbl 0845.03025号 牛市。符号。日志。 1,第4期,425-467(1995). 审核人:M.Yasuhara(普林斯顿大学) MSC公司:20层03 03B05号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart},公牛。符号。日志。1,第4号,425--467(1995;Zbl 0845.03025) 全文: 内政部 链接 链接