R·阿隆德里斯。 直觉主义命题逻辑的一种证明搜索过程。 (英语) Zbl 1302.03034号 架构(architecture)。数学。逻辑 52,编号7-8,759-778(2013). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03秒20 03财年03 07年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis},拱门。数学。逻辑52,编号7--8,759--778(2013;Zbl 1302.03034) 全文: 内政部
米洛什·库里利奇。 最大程度地嵌入组件。 (英语) Zbl 1302.03053号 架构(architecture)。数学。逻辑 52,编号7-8,793-808(2013). 审核人:J.M.Plotkin(东兰辛) MSC公司:03E40型 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kurilić},拱门。数学。逻辑52,编号7--8793--808(2013;Zbl 1302.03053) 全文: 内政部 arXiv公司
维拉·菲舍尔;西·戴维·弗里德曼;尤里·霍姆斯基 共同分析疯狂家庭和可定义的井序。 (英语) Zbl 1303.03076号 架构(architecture)。数学。逻辑 52,编号7-8,809-822(2013). 审核人:米罗斯拉夫·雷皮克(科希策) MSC公司:03E15年 03E17年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{V.Fischer}等人,Arch。数学。逻辑52,编号7--8809--822(2013;Zbl 1303.03076) 全文: 内政部
赵斌;周红军 核基格上的广义Bosbach和Riečan态。 (英语) Zbl 1294.03045号 架构(architecture)。数学。逻辑 52,编号7-8,689-706(2013). 审核人:Lavinia Ciungu(克雷奥瓦) MSC公司:03G25 05年6月 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Zhao}和\textit{H.Zhou},Arch。数学。逻辑52,编号7--8689-706(2013;Zbl 1294.03045) 全文: 内政部
拉维尼娅·科琳娜(Lavinia Corina)·琼古(Ciungu);乔治斯库;克劳迪娅·穆雷桑 广义Bosbach态。二、。 (英语) Zbl 1305.03060号 架构(architecture)。数学。逻辑 52,编号7-8,707-732(2013). 审核人:Anatolij Dvurečenskij(布拉迪斯拉发) MSC公司:03G25 05年6月 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Ciungu}等人,Arch。数学。逻辑52,编号7--8,707--732(2013;Zbl 1305.03060) 全文: 内政部
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) 全文: 内政部
方成灵;吴国华;亚马列夫,火星 关于Ishmukhametov的一个问题。 (英语) Zbl 1298.03101号 架构(architecture)。数学。逻辑 52,编号7-8,733-741(2013). 审核人:罗兰·什·奥马纳泽(第比利斯) MSC公司:03D28号 03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{C.Fang}等人,Arch。数学。逻辑52,编号7-8733-741(2013;Zbl 1298.03101) 全文: 内政部
米查尔·德奇奥;米罗斯拉夫·雷皮克 强支配的实域集。 (英语) Zbl 1323.03062号 架构(architecture)。数学。逻辑 52,编号7-8,827-846(2013). 审核人:史向辉(北京) MSC公司:03E15年 03E17年 03E50型 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dečo}和\textit{M.Repickí},拱门。数学。逻辑52,编号7--8827--846(2013;Zbl 1323.03062) 全文: 内政部
皮埃尔路易吉·米纳里 模态逻辑和隐式收缩的标记序列计算。 (英语) Zbl 1303.03053号 架构(architecture)。数学。逻辑 52,编号7-8,881-907(2013). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.Minari},拱门。数学。逻辑52,编号7--8881--907(2013;Zbl 1303.03053) 全文: 内政部
文森特·金戈纳;迈克尔·拉斯科夫斯基(Michael C.Laskowski)。 关于VC-minimal理论和变体。 (英语) Zbl 1298.03097号 架构(architecture)。数学。逻辑 52,编号7-8,743-758(2013). 审核人:Predrag Tanović(贝尔格莱德) MSC公司:03C45号机组 03C64号 PDF格式BibTeX公司 XML格式引用 \textit{V.Guingona}和\textit{M.C.Laskowski},Arch。数学。逻辑52,编号7-8,743-758(2013;Zbl 1298.03097) 全文: 内政部 arXiv公司
克里斯蒂安·埃斯皮恩多拉 中间谓词逻辑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) 全文: 内政部 链接
塔诺维奇,普雷德拉格 简单组和可数模型的数量。 (英语) Zbl 1311.03064号 架构(architecture)。数学。逻辑 52,编号7-8,779-791(2013).MSC公司:03C45号机组 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{P.Tanović},拱门。数学。逻辑52,编号7--8779--791(2013;Zbl 1311.03064) 全文: 内政部 arXiv公司
冈瑟·梅因哈特 迹、可溯性和集合论包含下的迹格。 (英语) Zbl 1287.03091号 架构(architecture)。数学。逻辑 52,编号7-8,847-869(2013). 审核人:梅林·卡尔(康斯坦茨) MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mainhardt},拱门。数学。逻辑52,编号7--8847--869(2013;Zbl 1287.03091) 全文: 内政部