王龙春;李庆国 \(L\)-域作为局部连续序列结石。 (英语) Zbl 07832913号 架构(architecture)。数学。逻辑 63,编号3-4,405-425(2024).MSC公司:03B70号 06B35号 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Arch。数学。逻辑63,编号3-4405-425(2024;Zbl 07832913) 全文: 内政部
藤原真本;Kurahashi、Taishi Prenex规范化和公式的层次分类。 (英语) Zbl 07832912号 架构(architecture)。数学。逻辑 63,编号3-4,391-403(2024).MSC公司:03B10号机组 03B20型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi},拱门。数学。逻辑63,编号3--4,391--403(2024;Zbl 07832912) 全文: 内政部 arXiv公司
尤文纳尔·穆瓦纳希亚卡 弱的本质上不可判定的串联理论。二、。 (英语) Zbl 07832911号 架构(architecture)。数学。逻辑 63,编号3-4,353-390(2024).MSC公司:03B25号 03B30型 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.Murwanashaka},拱门。数学。逻辑63,编号3-4-353-390(2024;Zbl 07832911) 全文: 内政部 arXiv公司 OA许可证
胜胜石井 中间谓词逻辑中的harrop析取性质。 (英语) Zbl 07832909号 架构(architecture)。数学。逻辑 63,编号3-4,317-324(2024).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{K.石井},拱门。数学。逻辑63,编号3--4,317--324(2024;Zbl 07832909) 全文: 内政部
巴托斯·Wcisło 具有命题重言式和无量词正确性的合成真理。 (英语) 兹比尔07790940 架构(architecture)。数学。逻辑 63,编号1-2,239-257(2024). 审核人:Roman Kossak(纽约) MSC公司:2015年上半年03日 03C62号 30楼03号 03A05号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{B.Wcisło},拱门。数学。逻辑63,编号1-2239-257(2024;Zbl 07790940) 全文: 内政部 arXiv公司 OA许可证
岩田,Sohei;Kurahashi、Taishi;大川,Yuya 子逻辑的不动点和Craig插值性质伊利诺伊州. (英语) Zbl 07790929号 架构(architecture)。数学。逻辑 63,编号1-2,1-37(2024).MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{S.Iwata}等人,Arch。数学。逻辑63,编号1-2,1-37(2024;Zbl 07790929) 全文: 内政部 arXiv公司 OA许可证
卡勒布·卡姆鲁德;艾萨克·戈德布林;蒂莫西·麦克尼科尔。 关于可计算的度量结构理论的复杂性。 (英语) Zbl 07742505号 架构(architecture)。数学。逻辑 62,编号7-8,1111-1129(2023).MSC公司:03C57号 03D78号 03C75号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}等人,Arch。数学。逻辑62,编号7--81111--1129(2023;Zbl 07742505) 全文: 内政部 arXiv公司
吴惠山 逆向和可计算数学中半单环的结构。 (英语) Zbl 07742503号 架构(architecture)。数学。逻辑 62,编号7-8,1083-1100(2023).MSC公司:03B30型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu},拱门。数学。逻辑62,编号7-81083-1100(2023;Zbl 07742503) 全文: 内政部
朱利奥·费林;萨拉·内格里;奥兰德利,尤金尼奥 几何逻辑中的Glivenko序列类和构造截消元。 (英语) Zbl 07691802号 架构(architecture)。数学。逻辑 62,编号5-6,657-688(2023).MSC公司:05年3月 03B20型 18立方厘米 18B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Fellin}等人,Arch。数学。逻辑62,编号5--6,657--688(2023;Zbl 07691802) 全文: 内政部
马丁内斯·里维拉斯(Martínez-Rivillas),丹尼尔·奥利维拉斯(Daniel O。;de Queiroz,Ruy J.G.B。 走向同伦域理论。 (英语) Zbl 07680036号 架构(architecture)。数学。逻辑 62,编号3-4,559-579(2023).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.O.马丁内斯·里维拉斯}和\textit{R.J.G.B.de Queiroz},Arch。数学。逻辑62,编号3--4,559--579(2023;Zbl 07680036) 全文: 内政部 arXiv公司
玛丽·利亚·卡克 公制结构的乘积和总和的保存特性。 (英语) Zbl 07680032号 架构(architecture)。数学。逻辑 62,编号3-4,427-469(2023).MSC公司:03C66号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Karker},Arch(拱门)。数学。逻辑62,编号3--4,427--469(2023;Zbl 07680032) 全文: 内政部
斯特凡诺·巴拉泰拉 无限命题概率逻辑。 (英语) Zbl 07680025号 架构(architecture)。数学。逻辑 62,编号3-4,291-320(2023).MSC公司:03B48号 03C75号 03C20号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella},拱门。数学。逻辑62,编号3-4-291-320(2023;Zbl 07680025) 全文: 内政部
桑多·杰内 具有不动点的对合非形式逻辑具有有限的强标准完备性。 (英语) Zbl 07680016号 架构(architecture)。数学。逻辑 62,编号1-2,67-86(2023).MSC公司:03B47型 03B52号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jenei},拱门。数学。逻辑62,编号1--2,67-86(2023;Zbl 07680016) 全文: 内政部 arXiv公司
马克·坎斯玛 在正逻辑中键入空间函子和解释。 (英语) Zbl 07680013号 架构(architecture)。数学。逻辑 62,编号1-2,1-28(2023).MSC公司:03C07号机组 03B20型 03G10年 03G30型 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamsma},拱门。数学。逻辑62,编号1-2,1-28(2023;Zbl 07680013) 全文: 内政部 arXiv公司
藤原真本 \(Delta^0_1)排除中间律和相关原则的变体。 (英语) Zbl 07603659号 架构(architecture)。数学。逻辑 61,编号7-8,1113-1127(2022).MSC公司:03B20型 03B30型 30楼03号 35楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara},拱门。数学。逻辑61,编号7--81113--1127(2022;Zbl 07603659) 全文: 内政部
乌韦·彼得森 在具有无限制抽象的无收缩逻辑中增强归纳:从(mathbf{Z})到(mathbf{Z} _2\). (英语) Zbl 07603656号 架构(architecture)。数学。逻辑 61,编号7-8,1007-1051(2022).MSC公司:03B15号机组 03B47型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{U.Petersen},Arch。数学。逻辑61,编号7--81007--1051(2022;Zbl 07603656) 全文: 内政部
尤文纳尔·穆瓦纳希亚卡 弱的本质上不可判定的串联理论。 (英语) Zbl 1518.03001号 架构(architecture)。数学。逻辑 61,编号7-8,939-976(2022). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:03B25号 35层03 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Murwanashaka},拱门。数学。逻辑61,编号7--8939--976(2022;Zbl 1518.03001) 全文: 内政部
埃里克·马丁 析取逻辑程序、答案集和切割规则。 (英语) Zbl 1510.68013号 架构(architecture)。数学。逻辑 61,编号7-8,903-937(2022). 审核人:玛丽·杜日伊(俄斯特拉发) MSC公司:68N17号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{艾丽·马丁},Arch。数学。逻辑61,编号7-8903-937(2022;Zbl 1510.68013) 全文: 内政部
卢西亚诺·J·冈萨雷斯。 经典命题逻辑的(楔形,V形)片段的Hilbert-style公理化的另一种证明。 (英语) Zbl 07557514号 架构(architecture)。数学。逻辑 61,编号5-6,859-865(2022).MSC公司:03B05号 03G10年 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{L.J.González},拱门。数学。逻辑61,编号5--6,859--865(2022;Zbl 07557514) 全文: 内政部
洛伦佐·卡卢奇;丹尼尔·塔维内利 关于全二叉树和的Hindman定理、(Sigma^0_2)-归纳法和树的鸽子洞原理。 (英语) Zbl 1506.03061号 架构(architecture)。数学。逻辑 61,编号5-6,827-839(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03天80 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci}和\textit{D.Tavernelli},拱门。数学。逻辑61,编号5--6,827--839(2022;Zbl 1506.03061) 全文: 内政部
吴惠山 逆向数学和半单环。 (英语) 兹比尔07557509 架构(architecture)。数学。逻辑 61,编号5-6,769-793(2022).MSC公司:03B30型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu},拱门。数学。逻辑61,编号5--6,769--793(2022;Zbl 07557509) 全文: 内政部
雅罗斯拉夫·什兰科 Hilbert和Gentzen之间:四值结果系统和结构推理。 (英语) Zbl 07557505号 架构(architecture)。数学。逻辑 61,编号5-6,627-651(2022).MSC公司:03财年03 07年3月 03B35型 03B47型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shramko},拱门。数学。逻辑61,编号5--6,627--651(2022;Zbl 07557505) 全文: 内政部
加布里埃尔·普奇尼 关于经典命题逻辑的割消去的一个注记。 (英语) Zbl 1506.03121号 架构(architecture)。数学。逻辑 61,编号3-4,555-565(2022). 审核人:安妮卡·坎科斯(赫尔辛基) MSC公司:05年3月 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Pulcini},拱门。数学。逻辑61,编号3--4,555--565(2022;Zbl 1506.03121) 全文: 内政部
威廉·斯特顿。 多态类型的组合逻辑。 (英语) Zbl 07541615号 架构(architecture)。数学。逻辑 61,编号3-4,317-343(2022).MSC公司:03B40型 03Fxx公司 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Stirton},拱门。数学。逻辑61,编号3--4,317--343(2022;Zbl 07541615) 全文: 内政部
安德烈·亚历山德鲁;加布里埃尔·乔巴努 有限支撑结构的各种形式的无穷大。 (英语) 兹比尔07495459 架构(architecture)。数学。逻辑 61,编号1-2,173-222(2022).MSC公司:03E10年 03B30型 03E25型 03年3月35日 PDF格式BibTeX公司 XML格式引用 \textit{A.Alexandru}和\textit{G.Ciobanu},拱门。数学。逻辑61,编号1-2173-222(2022;Zbl 07495459) 全文: 内政部
库尔比斯,尼尔斯 具有Tarski规则的经典逻辑系统的规范化和子公式性质。 (英语) Zbl 07495456号 架构(architecture)。数学。逻辑 61,编号1-2,105-129(2022).MSC公司:03B05号 03B10号机组 03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurbis},拱门。数学。逻辑61,编号1--2,105-129(2022;Zbl 07495456) 全文: 内政部
费尔南多·费雷拉 实数的抽象类型。 (英语) Zbl 1486.03098号 架构(architecture)。数学。逻辑 60,编号7-8,1005-1017(2021). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 2010年1月3日 35层03 2015财年54 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira},拱门。数学。逻辑60,编号7--81005--1017(2021;Zbl 1486.03098) 全文: 内政部
Paula Menchón;塞尔吉奥·塞拉尼 带有连词的单调模态逻辑。 (英语) Zbl 07417489号 架构(architecture)。数学。逻辑 60,编号7-8,857-877(2021).MSC公司:03B45号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Menchón}和\textit{S.Celani},Arch。数学。逻辑60,编号7--8857--877(2021;Zbl 07417489) 全文: 内政部
福斯托·巴贝罗;你好,劳里;雷恩·Rönnholm 无需Henkin量化的独立友好逻辑。 (英语) Zbl 1496.03112号 架构(architecture)。数学。逻辑 60,第5期,547-597(2021).MSC公司:03B60号 03C80号 19年第68季度 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbero}等人,Arch。数学。逻辑60,No.5,547--597(2021;Zbl 1496.03112) 全文: 内政部
朱丽叶·肯尼迪(编辑);鲁伊·德·奎罗斯(编辑) 第24届逻辑、语言、信息和计算研讨会——WoLLIC 2017。 (英语) Zbl 1487.03009号 架构(architecture)。数学。逻辑 60,第5号,525-527(2021).MSC公司:03-06 68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kennedy}(编辑)和\textit{R.de Queiroz}(编者),Arch。数学。逻辑60,No.5,525--527(2021;Zbl 1487.03009) 全文: 内政部
托拜厄斯·弗里茨 量子逻辑是不可判定的。 (英语) Zbl 1473.03039号 架构(architecture)。数学。逻辑 60,编号3-4,329-341(2021). 审核人:Hirokazu Nishimura(筑波) MSC公司:03G12号机组 03B25号 46升99 81页第10页 第81页第13页 PDF格式BibTeX公司 XML格式引用 \textit{T.Fritz},拱门。数学。逻辑60,编号3--4,329--341(2021;Zbl 1473.03039) 全文: 内政部 arXiv公司
G.贝扎尼什维利。;北卡罗来纳州贝扎尼什维利。;卢塞罗·布莱恩,J。;范·密尔,J。 拓扑和模态逻辑中的树状结构。 (英语) Zbl 1500.03005号 架构(architecture)。数学。逻辑 60,编号3-4,265-299(2021). 审核人:豪尔赫·皮卡多(科英布拉) MSC公司:03B45号 54G05号 54十国集团 54国集团12 54天35分 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Arch。数学。逻辑60,编号3--4,265--299(2021;Zbl 1500.03005) 全文: 内政部 链接
藤原真本;Tatsuji Kawai 用连续模上的条形递归刻画Brouwer连续性。 (英语) Zbl 1496.03254号 架构(architecture)。数学。逻辑 60,编号1-2,241-263(2021). 审核人:Danko Ilik(巴黎) MSC公司:03楼55 03B30型 35楼03号 03楼50 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kawai},拱门。数学。逻辑60,编号1--2,241--263(2021;Zbl 1496.03254) 全文: 内政部
萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 中间性公理理论。 (英语) Zbl 1496.03033号 架构(architecture)。数学。逻辑 60,编号1-2227-239(2021). 审核人:保罗·班克斯顿(密尔沃基) MSC公司:03B30型 03B10号机组 51甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Azimipour}和\textit{P.Naumov},拱门。数学。逻辑60,编号1--2,227--239(2021;Zbl 1496.03033) 全文: 内政部 arXiv公司
吴惠山 环结构定理和算术理解。 (英语) Zbl 1473.03009号 架构(architecture)。数学。逻辑 60,编号1-2,145-160(2021). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 2015年3月1日 35楼03号 03天80 13E10号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu},拱门。数学。逻辑60,编号1--2,145-160(2021;Zbl 1473.03009) 全文: 内政部
克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 有界量词的一阶串联理论。 (英语) Zbl 1498.03021号 架构(architecture)。数学。逻辑 60,编号1-2,77-104(2021).MSC公司:03B10号机组 03B25号 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{J.Murwanashaka},Arch。数学。逻辑60,编号1-2,77-104(2021;Zbl 1498.03021) 全文: 内政部 arXiv公司
汉内斯·迪纳;马尔滕·麦库布雷·乔登斯 根据最小逻辑对实质含义进行分类。 (英语) Zbl 1466.03004号 架构(architecture)。数学。逻辑 59,编号7-8,905-924(2020). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B53号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Diener}和\textit{M.McCubre-Jordens},Arch。数学。逻辑59,编号7--8905--924(2020;Zbl 1466.03004) 全文: 内政部 arXiv公司
石原、Hajime;内莫托、高子 论前提公理和规则的独立性。 (英语) Zbl 1485.03249号 架构(architecture)。数学。逻辑 59,编号7-8,793-815(2020).MSC公司:03楼50 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}和\textit{T.Nemoto},拱门。数学。逻辑59,编号7-8793-815(2020;Zbl 1485.03249) 全文: 内政部
塞巴斯蒂安·特维恩。 Arslanov完备性判据及相关定理的无效性。 (英语) Zbl 1481.03032号 架构(architecture)。数学。逻辑 59,编号5-6,703-713(2020).MSC公司:03D25号 03D28号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn},拱门。数学。逻辑59,编号5--6,703--713(2020;Zbl 1481.03032) 全文: 内政部 arXiv公司
Kurahashi、Taishi 命题模态逻辑中的一致Lyndon插值性质。 (英语) Zbl 1462.03013号 架构(architecture)。数学。逻辑 59,编号5-6,659-678(2020). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi},拱门。数学。逻辑59,编号5--6,659--678(2020;Zbl 1462.03013) 全文: 内政部 arXiv公司
托马斯·鲍威尔 依赖性选择作为终止原则。 (英语) Zbl 1481.03040号 架构(architecture)。数学。逻辑 59,编号3-4,503-516(2020).MSC公司:03D65年 35楼03号 03B30型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{T.Powell},Arch。数学。逻辑59,No.3--4,503--516(2020;Zbl 1481.03040) 全文: 内政部 arXiv公司
阿莱、东山英彦 有序原则的理论证明力。 (英语) Zbl 1481.03063号 架构(architecture)。数学。逻辑 59,编号3-4,257-275(2020).MSC公司:2015年1月3日 35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},拱门。数学。逻辑59,编号3--4,257--275(2020;Zbl 1481.03063) 全文: 内政部 arXiv公司
Micha M.斯特朗科夫斯基。 确定主动结构完整性。 (英语) Zbl 1480.08007号 架构(architecture)。数学。逻辑 59,编号1-2,149-165(2020).MSC公司:08C15号 03B60号 2017年第68季度 08B26号 08B10号 PDF格式BibTeX公司 XML格式引用 \textit{M.Stronkowski},拱门。数学。逻辑59,No.1--2,149--165(2020;Zbl 1480.08007) 全文: 内政部
张德雪;张,高 基于连续三角范数的模糊拓扑。 (英语) Zbl 1432.54011号 架构(architecture)。数学。逻辑 58,编号7-8,915-942(2019). 审核人:弗朗西斯科·加列戈·卢皮涅斯(马德里) MSC公司:54A40型 30楼06号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}和\textit{G.Zhang},Arch。数学。逻辑58,编号7--8,915--942(2019;Zbl 1432.54011) 全文: 内政部
塞拉尼、塞尔吉奥·阿图罗 完备和原子Tarski代数。 (英语) Zbl 1468.03082号 架构(architecture)。数学。逻辑 58,编号7-8,899-914(2019).MSC公司:03G25号 03B45号 06至75 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Celani},Arch(拱门)。数学。逻辑58,编号7--8899--914(2019;Zbl 1468.03082) 全文: 内政部
杰弗里·赫斯特。;卡尔·穆默特 使用拉姆齐定理一次。 (英语) Zbl 1475.03071号 架构(architecture)。数学。逻辑 58,编号7-8,857-866(2019). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:03B30型 35楼03号 03楼50 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hirst}和\textit{C.Mummert},Arch。数学。逻辑58,编号7-8857-866(2019;Zbl 1475.03071) 全文: 内政部 arXiv公司
本诺·范登伯格 黑田风格的翻译。 (英语) Zbl 1450.03003号 架构(architecture)。数学。逻辑 58,编号5-6,627-634(2019). 审核人:杰米·加斯帕(肯特) MSC公司:03B20型 35层03 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},拱门。数学。逻辑58,编号5--6,627--634(2019;Zbl 1450.03003) 全文: 内政部 arXiv公司
凯勒布·戴维斯;杰弗里·赫斯特;杰克,帕多;蒂姆·勒索 反数学和超图的着色。 (英语) Zbl 1477.03029号 架构(architecture)。数学。逻辑 58,编号5-6,575-585(2019).MSC公司:03B30型 35楼03号 05C15号 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{C.Davis}等人,Arch。数学。逻辑58,No.5--6,575--585(2019;Zbl 1477.03029) 全文: 内政部 arXiv公司
Tatsuji Kawai 一个等价于单调扇形定理的连续性原理。 (英语) 兹比尔1475.03100 架构(architecture)。数学。逻辑 58,编号3-4,443-456(2019). 审核人:彼得·舒斯特(维罗纳) MSC公司:03层60 03楼55 03B30型 26E40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kawai},拱门。数学。逻辑58,No.3--4,443--456(2019;Zbl 1475.03100) 全文: 内政部 arXiv公司
大田康彦;弗洛里安·佩卢佩西 Dickson引理和弱Ramsey理论。 (英语) Zbl 1477.03031号 架构(architecture)。数学。逻辑 58,编号3-4,413-425(2019).MSC公司:03B30型 05元55分 30楼03号 2015年上半年03日 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Omata}和\textit{F.Pelupessy},拱门。数学。逻辑58,No.3--4,413--425(2019;Zbl 1477.03031) 全文: 内政部 arXiv公司
罗马库兹涅茨;卢茨斯特拉汉堡 前原诚司型模态嵌套结石。 (英语) Zbl 1477.03054号 架构(architecture)。数学。逻辑 58,编号3-4,359-385(2019).MSC公司:03B45号 03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuznets}和\textit{L.Straßburger},Arch。数学。逻辑58,编号3--4,359--385(2019;Zbl 1477.03054) 全文: 内政部
安东·弗伦德 关于迭代一致性和无穷证明的注记。 (英语) 兹比尔1454.03075 架构(architecture)。数学。逻辑 58,编号3-4,339-346(2019). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:05年3月 35层03 2015年1月3日 03B30型 30楼03号 PDF格式BibTeX公司 XML格式引用 \发短信{A.Freund},Arch。数学。逻辑58,No.3--4,339--346(2019;Zbl 1454.03075) 全文: 内政部 arXiv公司
卢西亚诺·J·冈萨雷斯。 具有分配近格项的自扩张逻辑。 (英语) Zbl 1506.03129号 架构(architecture)。数学。逻辑 58,编号1-2,219-243(2019).MSC公司:03G27号 03B22号 03G25号 2012年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{L.J.González},拱门。数学。逻辑58,No.1--2,219--243(2019;Zbl 1506.03129) 全文: 内政部 arXiv公司
约瑟夫·伯杰;石原、Hajime;木原隆树;内莫托、高子 构造逆数学中的二进制展开和中值定理。 (英语) Zbl 07006134号 架构(architecture)。数学。逻辑 58,编号1-2,203-217(2019).MSC公司:65楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berger}等人,Arch。数学。逻辑58,编号1--2,203-217(2019;Zbl 07006134) 全文: 内政部
斯特凡诺·巴拉泰拉 连续谓词模态逻辑的完备性定理。 (英语) 兹比尔1448.03012 架构(architecture)。数学。逻辑 58,第1-2号,183-201(2019).MSC公司:03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella},拱门。数学。逻辑58,No.1--2,183--201(2019;Zbl 1448.03012) 全文: 内政部 链接
罗莎莉,伊姆霍夫 模态逻辑中的统一插值和顺序计算。 (英语) Zbl 07006132号 架构(architecture)。数学。逻辑 58,编号1-2,155-181(2019).MSC公司:03B05号 03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff},拱门。数学。逻辑58,编号1--2,155-181(2019;Zbl 07006132) 全文: 内政部
马里亚·博里奇奇 经典逻辑概率序列演算。 (英语) Zbl 1446.03047号 架构(architecture)。数学。逻辑 58,编号1-2,119-136(2019). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B48号 03B50号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Boričić},拱门。数学。逻辑58,No.1--2,119--136(2019;Zbl 1446.03047) 全文: 内政部
石原、Hajime;玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥;托马斯·斯特里彻 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 (英语) 兹比尔1522.03323 架构(architecture)。数学。逻辑 57,编号7-8,873-888(2018).MSC公司:35层03 03立方厘米38 30楼03号 03楼50 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人,Arch。数学。逻辑57,编号7--8873--888(2018;Zbl 1522.03323) 全文: 内政部 链接
阿莱、东山英彦 正规函数和(ω)模型的导数。 (英语) Zbl 1496.03241号 架构(architecture)。数学。逻辑 57,编号5-6,649-664(2018).MSC公司:35楼03号 2015年1月3日 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},拱门。数学。逻辑57,编号5--6649--664(2018;Zbl 1496.03241) 全文: 内政部 arXiv公司
彼得·辛图拉;卡莱斯·诺格拉 隐含(半线性)逻辑。三: 完整性属性。 (英语) Zbl 1522.03036号 架构(architecture)。数学。逻辑 57,编号3-4,391-420(2018).MSC公司:03B22号 03B47型 03B52号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera},拱门。数学。逻辑57,No.3--4,391--420(2018;Zbl 1522.03036) 全文: 内政部
洛伦佐·卡卢奇 Hindman定理的弱变体,比Hilbert定理更强。 (英语) Zbl 1384.03094号 架构(architecture)。数学。逻辑 57,编号3-4381-389(2018).MSC公司:03B30型 10年5月 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci},拱门。数学。逻辑57,编号3--4,381--389(2018;Zbl 1384.03094) 全文: 内政部 arXiv公司
米歇尔·马蒂;乔治·梅特卡夫 基于链的模态逻辑中的表达性。 (英语) Zbl 1522.03056号 架构(architecture)。数学。逻辑 57,编号3-4,361-380(2018).MSC公司:03B45号 03B50号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Marti}和\textit{G.Metcalfe},拱门。数学。逻辑57,编号3--4,361--380(2018;Zbl 1522.03056) 全文: 内政部 链接
斯特凡诺·巴拉泰拉 撤回文章:“连续谓词模态逻辑的完备性定理”。 (英语) Zbl 1400.03038号 架构(architecture)。数学。逻辑 56号7-8、1135(2017).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella},拱门。数学。逻辑56,编号7-8-1135(2017;Zbl 1400.03038) 全文: 内政部
斯特凡诺·巴拉泰拉 实值逻辑的谓词扩展。 (英语) Zbl 1381.03023号 架构(architecture)。数学。逻辑 56,编号5-6,585-605(2017). 审核人:马特奥·比安奇(米兰) MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella},拱门。数学。逻辑56,No.5--6,585--605(2017;Zbl 1381.03023) 全文: 内政部 链接
波拉·亨克;阿尔伯特·维瑟 皮诺算法中的可解释性至上。 (英语) Zbl 1436.03310号 架构(architecture)。数学。逻辑 56,编号5-6,555-584(2017). 审核人:姆拉登·武科维奇(萨格勒布) MSC公司:03层45 03B45号 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.Henk}和\textit{A.Visser},拱门。数学。逻辑56,No.5--6,555--584(2017;Zbl 1436.03310) 全文: 内政部
费尔南多·费雷拉;吉尔达·费雷拉 经典一阶逻辑的赫氏功能解释。 (英语) Zbl 1417.03290号 架构(architecture)。数学。逻辑 56,编号5-6,523-539(2017).MSC公司:2010年1月3日 03B10号机组 03B40型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}和\textit{G.Ferreira},拱门。数学。逻辑56,No.5--6,523--539(2017;Zbl 1417.03290) 全文: 内政部 链接
卢多维奇·佩蒂 非递减子序列的逆数学。 (英语) Zbl 1431.03021号 架构(architecture)。数学。逻辑 56,编号5-6,491-506(2017). 审核人:保罗·谢弗(利兹) MSC公司:03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},拱门。数学。逻辑56,No.5--6491--506(2017;Zbl 1431.03021) 全文: 内政部 arXiv公司 哈尔 反向链接: 卫生官员
塔帕尼·海蒂宁;Gianluca Paolini;Väänänen,佐科 在测量团队中讨论概率的逻辑。 (英语) Zbl 1386.03020号 架构(architecture)。数学。逻辑 56,编号5-6,475-489(2017). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03B48号 03B60号 68层37 68T27型 60A10英寸 PDF格式BibTeX公司 XML格式引用 \textit{T.Hyttinen}等人,Arch。数学。逻辑56,编号5--6,475--489(2017;Zbl 1386.03020) 全文: 内政部 arXiv公司 链接
佐藤、高石;山崎武史 逆向数学与序论不动点定理。 (英语) Zbl 1420.03029号 架构(architecture)。数学。逻辑 56,编号3-4,385-396(2017).MSC公司:03B30型 35楼03号 2006年6月 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{T.Yamazaki},拱门。数学。逻辑56,No.3--4,385--396(2017;Zbl 1420.03029) 全文: 内政部
雅伊尔·海尤特 Magidor-Malitz反射。 (英语) Zbl 1383.03048号 架构(architecture)。数学。逻辑 56,编号3-4,253-272(2017). 审核人:J.M.Plotkin(东兰辛) MSC公司:03C80号 03B15号机组 03年3月35日 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hayut},拱门。数学。逻辑56,No.3--4,253--272(2017;Zbl 1383.03048) 全文: 内政部 arXiv公司
范德米伦(Jeroen Van der Meeren);迈克尔·拉特扬;安德烈亚斯·魏尔曼 霍华德·巴赫曼层次结构的序理论表征。 (英语) Zbl 1421.03005号 架构(architecture)。数学。逻辑 56,编号1-2,79-118(2017).MSC公司:03B30型 03E10年 03年3月35日 03财年03 05年3月 2015年1月3日 35楼03号 2006年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Van der Meeren}等人,Arch。数学。逻辑56,编号1--2,79-118(2017;Zbl 1421.03005) 全文: 内政部 arXiv公司
埃里克·帕尔姆格伦 来自证据无关家族的类刚毛的构造。 (英语) Zbl 1390.03013号 架构(architecture)。数学。逻辑 56,编号1-2,51-66(2017). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03B15号机组 18英镑05 18B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren},拱门。数学。逻辑56,编号1--2,51-66(2017;Zbl 1390.03013) 全文: 内政部
凯蒂·布罗德黑德;穆什菲克·汗;比约恩Kjos-Hanssen;威廉·兰普(William A.Lampe)。;Nguyen,Paul Kim Long V。;理查德·肖尔(Richard A.Shore)。 Grätzer-Schmidt定理的强度。 (英语) Zbl 1388.03056号 架构(architecture)。数学。逻辑 55号5-6、687-704(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 03D28号 06B15号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Brodhead}等人,Arch。数学。逻辑55,编号5--6,687--704(2016;Zbl 1388.03056) 全文: 内政部 arXiv公司
杰弗里·赫斯特。;诺亚·A·休斯。 用有限多个解来反演数学和婚姻问题。 (英语) Zbl 1355.03011号 架构(architecture)。数学。逻辑 55,第7-8号,1015-1024(2016). 审核人:洛伦佐·卡卢奇(罗马) MSC公司:03B30型 35楼03号 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hirst}和\textit{N.A.Hughes},Arch。数学。逻辑55,编号7-81015-1024(2016;Zbl 1355.03011) 全文: 内政部
罗莎莉,伊姆霍夫;杨,范 依赖命题逻辑中的结构完备性。 (英语) Zbl 1358.03037号 架构(architecture)。数学。逻辑 55,编号7-8,955-975(2016). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B60号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff}和\textit{F.Yang},Arch。数学。逻辑55,No.7--8,955--975(2016;Zbl 1358.03037) 全文: 内政部 arXiv公司
萨拉·内格里 根据结构证明理论的Glivenko序列类。 (英语) Zbl 1356.03048号 架构(architecture)。数学。逻辑 55,编号3-4,461-473(2016). 审核人:塞尔盖·索洛夫(图卢兹) MSC公司:03B20型 03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri},拱门。数学。逻辑55,No.3--4,461--473(2016;Zbl 1356.03048) 全文: 内政部 链接
煎炸,伊曼纽尔;马修·亨特拉斯;阿尔贝托·马可尼;保罗·沙弗;范德米伦(Jeroen Van der Meeren) 逆向数学、良好的拟序和Noetherian空间。 (英语) Zbl 1342.03041号 架构(architecture)。数学。逻辑 55,编号3-4,431-459(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion}等人,Arch。数学。逻辑55,编号3--4431-459(2016;Zbl 1342.03041) 全文: 内政部 arXiv公司 链接
彼得·辛图拉;卡莱斯·诺格拉 隐含(半线性)逻辑。二: 附加连接词和半线性特征。 (英语) Zbl 1338.03116号 架构(architecture)。数学。逻辑 55,编号3-4,353-372(2016). 审核人:亚历克斯·西特金(沃伦) MSC公司:03G27号 03B22号 03B52号 03B47型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera},拱门。数学。逻辑55,No.3--4,353--372(2016;Zbl 1338.03116) 全文: 内政部
卢多维奇·佩蒂 Ramsey型图着色和对角线不可计算性。 (英语) Zbl 1342.03015号 架构(architecture)。数学。逻辑 54,编号7-8,899-914(2015). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},拱门。数学。逻辑54,No.7--8899--914(2015;Zbl 1342.03015) 全文: 内政部 arXiv公司 哈尔
拉迪姆·贝洛赫拉维克;维伦·维科迪尔 分级属性的逻辑。 (英语) Zbl 1477.03079号 架构(architecture)。数学。逻辑 54,编号7-8,785-802(2015).MSC公司:03B52号 03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Belohlavek}和\textit{V.Vychodil},拱门。数学。逻辑54,编号7-8785-802(2015;Zbl 1477.03079) 全文: 内政部
卡拉奇,维德兰;科瓦奇(Vjekoslav) 关于也在\(\ mathsf{GL}\)中的闭合\(\ mathsf{IL}\)公式的份额。 (英语) Zbl 1341.03091号 架构(architecture)。数学。逻辑 54,编号7-8,741-767(2015). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:03层45 03B45号 2016年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{V.采奇}和\textit{V.Kovać},拱门。数学。逻辑54,No.7--8,741--767(2015;Zbl 1341.03091) 全文: 内政部 arXiv公司
阿恩·迈尔;伊琳娜·辛德勒;约翰·施密特;托马斯,迈克尔;赫里贝特·沃尔默 关于非单调逻辑的参数化复杂性。 (英语) Zbl 1361.03036号 架构(architecture)。数学。逻辑 54,编号5-6,685-710(2015). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:2015年3月1日 03B42号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,Arch。数学。逻辑54,No.5--6,685--710(2015;Zbl 1361.03036) 全文: 内政部
卡尔·穆默特;阿拉丁萨达乌伊;肖恩·索芬 逆向数学的模态逻辑。 (英语) Zbl 1369.03102号 架构(architecture)。数学。逻辑 54,编号3-4,425-437(2015).MSC公司:03B30型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mummert}等人,Arch。数学。逻辑54,No.3--4,425--437(2015;Zbl 1369.03102) 全文: 内政部 arXiv公司
佐藤,肯塔罗 完整归纳定义和帽归纳定义在NBG中是等效的。 (英语) Zbl 1342.03042号 架构(architecture)。数学。逻辑 54,编号1-2,75-112(2015). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B15号机组 03D65年 03E70型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{K.佐藤},拱门。数学。逻辑54,编号1--2,75-112(2015;Zbl 1342.03042) 全文: 内政部 链接
杰弗里·赫斯特。;诺亚·A·休斯。 用独特的解决方案反求数学和婚姻问题。 (英语) Zbl 1386.03015号 架构(architecture)。数学。逻辑 54,编号1-2,49-57(2015).MSC公司:03B30型 35楼03号 2015年1月5日 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hirst}和\textit{N.A.Hughes},Arch。数学。逻辑54,No.1--2,49-57(2015;Zbl 1386.03015) 全文: 内政部
阿尔伯特·阿塞里亚斯;莫里茨·米勒 部分可定义的强制和有界算法。 (英语) Zbl 1382.03090号 架构(architecture)。数学。逻辑 54,编号1-2,1-33(2015).MSC公司:2015年上半年03日 03C25号 03年4月40日 20层03 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{M.米勒},拱门。数学。逻辑54,编号1--2,1-33(2015;Zbl 1382.03090) 全文: 内政部 链接
罗格斯·库珀 梅德韦杰夫格自然因素捕捉IPC。 (英语) Zbl 1338.03079号 架构(architecture)。数学。逻辑 53,编号7-8,865-879(2014).MSC公司:03日30分 03B20型 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuyper},拱门。数学。逻辑53,编号7--8865--879(2014;Zbl 1338.03079) 全文: 内政部 arXiv公司
弗鲁米尼、丹多洛;佐藤,肯塔罗 从等级制度到根深蒂固。 (英语) 兹比尔1338.03011 架构(architecture)。数学。逻辑 53,编号7-8,855-863(2014).MSC公司:03B30型 03D55号 03D75号 03E70型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{D.Flumini}和\textit{K.佐藤},拱门。数学。逻辑53,编号7--8855--863(2014;Zbl 1338.03011) 全文: 内政部 链接
小野洋一;Yoshihiro Horihata 弱串联理论和最小本质不可判定理论。遇到了\(\mathsf{WTC}\)和\(\mathsf{S2S}\)。 (英语) Zbl 1339.03054号 架构(architecture)。数学。逻辑 53,编号7-8,835-853(2014).MSC公司:30楼03号 03天35分 03B25号 35层03 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Higuchi}和\textit{Y.Horihata},拱门。数学。逻辑53,编号7--8835--853(2014;Zbl 1339.03054) 全文: 内政部
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性和反驳:中间逻辑的一些特征。 (英语) Zbl 1338.03050号 架构(architecture)。数学。逻辑 53,编号7-8779-808(2014).MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},拱门。数学。逻辑53,编号7--8779--808(2014;Zbl 1338.03050) 全文: 内政部 链接
维姆·维尔德曼 Brouwer的扇形定理作为公理,并与Kleene的备选方案形成对比。 (英语) Zbl 1327.03046号 架构(architecture)。数学。逻辑 53,编号5-6,621-693(2014). 审核人:彼得·舒斯特(维罗纳) MSC公司:03层60 03楼55 03B30型 35楼03号 40A05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Veldman},拱门。数学。逻辑53,No.5--6,621--693(2014;Zbl 1327.03046) 全文: 内政部 arXiv公司 链接
奥利弗·法辛;马提亚斯·巴兹 哥德尔逻辑上的单调算子。 (英语) Zbl 1432.03035号 架构(architecture)。数学。逻辑 53,编号3-4,261-284(2014).MSC公司:03B50号 03B20型 03B45号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{O.Fashing}和\textit{M.Baaz},拱门。数学。逻辑53,No.3--4,261--284(2014;Zbl 1432.03035) 全文: 内政部
马修·朱拉;奥斯卡·莱文;泰勒·马尔卡宁 可计算图的分区。 (英语) Zbl 1348.03040号 架构(architecture)。数学。逻辑 53,编号1-2,137-155(2014).MSC公司:03D45号 03B30型 35楼03号 05C63号 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jura}等人,Arch。数学。逻辑53,No.1--2,137--155(2014;Zbl 1348.03040) 全文: 内政部
R·阿隆德里斯。 直觉主义命题逻辑的一种证明搜索过程。 (英语) Zbl 1302.03034号 架构(architecture)。数学。逻辑 52,编号7-8,759-778(2013). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03财年03 07年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis},拱门。数学。逻辑52,编号7--8,759--778(2013;Zbl 1302.03034) 全文: 内政部
Kurahashi、Taishi 关于谓词可证明逻辑和Peano算法片段的双数。 (英语) Zbl 1388.03058号 架构(architecture)。数学。逻辑 52,编号7-8,871-880(2013).MSC公司:03层45 03B45号 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi},拱门。数学。逻辑52,编号7--8871--880(2013;Zbl 1388.03058) 全文: 内政部
皮埃尔路易吉·米纳里 模态逻辑和隐式收缩的标记序列演算。 (英语) Zbl 1303.03053号 架构(architecture)。数学。逻辑 52,编号7-8881-907(2013). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.Minari},Arch。数学。逻辑52,编号7--8881--907(2013;Zbl 1303.03053) 全文: 内政部
克里斯蒂安·埃斯皮恩多拉 中间谓词逻辑Glivenko定理的简短证明。 (英语) Zbl 1316.03015号 架构(architecture)。数学。逻辑 52,编号7-8,823-826(2013). 审核人:格里戈里·奥尔霍维科夫(波鸿) MSC公司:03B55号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{C.Espíndola},拱门。数学。逻辑52,编号7--8823--826(2013;Zbl 1316.03015) 全文: 内政部 链接
亚历山大·克鲁泽。 2个随机实数的程序提取。 (英语) Zbl 1295.03039号 架构(architecture)。数学。逻辑 52,编号5-6,659-666(2013). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer},拱门。数学。逻辑52,No.5--6,659--666(2013;Zbl 1295.03039) 全文: 内政部
威廉·斯特顿。 类型分配的可判定理论。 (英语) Zbl 1303.03036号 架构(architecture)。数学。逻辑 52,编号5-6,631-658(2013). 审核人:Martin W.Bunder(卧龙岗) MSC公司:03B40型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Stirton},拱门。数学。逻辑52,No.5--6,631--658(2013;Zbl 1303.03036) 全文: 内政部
马蒂奥·比安奇 一阶幂零最小逻辑:第一步。 (英语) Zbl 1278.03052号 架构(architecture)。数学。逻辑 52,编号3-4,295-316(2013). 审核人:Brunella Gerla(瓦雷泽语) MSC公司:03B50号 03B25号 03C07号机组 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bianchi},拱门。数学。逻辑52,编号3--4,295--316(2013;Zbl 1278.03052) 全文: 内政部 arXiv公司