诺姆·乔姆斯基 语言描述的三种模式。 (英文) Zbl 0156.25401号 IRE事务处理。Inf.理论 2,第3号,113-124(1956); 也发表在《阅读数学》上。精神病。2, 105-124 (1965).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{N.Chomsky},IRE翻译。Inf.理论2,113--124(1956;Zbl 0156.25401) 全文: 内政部
亚伯拉罕·罗宾逊 一致性的一个结果及其在定义理论中的应用。 (英文) Zbl 0075.00701号 内德勒。阿卡德。潮湿。,程序。,序列号。A类 59, 47-58 (1956). 审核人:鲍勃·范·罗瑟拉 MSC公司:03B10号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Robinson},荷兰。阿卡德。潮湿。,程序。,序列号。A 59,47-58(1956年;Zbl 0075.00701)
卡尔·施罗德 关于蕴涵公理——经典命题演算和直觉命题演算的完备公理系统之间的关系。(Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit dene des intuisticsischen Aussagenkalküls) (德语) Zbl 0075.00602号 Z.数学。Logik Grundlagen数学。 2, 173-176 (1956). 审核人:吉斯伯特·哈森贾格尔 MSC公司:03英镑05 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Schröter},Z.数学。Logik Grundlagen数学。2173--176(1956年;Zbl 0075.00602) 全文: 内政部
拉斯洛·卡尔马尔 一阶同一逻辑决策问题的广义递归不可解性的直接证明。(Ein directer Beweis für die Unlösbarkeit des Entscheidungs问题durch einen allgemeinen Algorithmus) (匈牙利语) Zbl 0075.00502号 马扎尔·图德。阿卡德。,材料Fiz。周二。奥斯特。科兹尔。 6, 1-25 (1956).MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Kalmár},Magyar Tud。阿卡德。,材料Fiz。周二。奥斯特。科兹尔。6,1-25(1956年;兹bl 0075.00502)
尤根·米哈伊莱斯库 二价命题演算的集合\(S(D)\)的正规形式。(在计算二价des命题时形成法向量dans l’ensemble(S(D))。) (罗马尼亚语。俄语、法语摘要) Zbl 0075.00403号 An.öti公司。“Al.I.Cuza”IašI大学,n.Ser。,第ţ节。I 2,15-27(1956年)。 审核人:阿尔托·K·萨洛马 MSC公司:03英镑05 PDF格式BibTeX公司 XML格式
北卡罗来纳州库斯塔。 演绎Wissenschaft mit inreduziblen separierten Basen。 (西班牙语) Zbl 0072.00105号 收集。数学。 8, 73-84 (1956). 审核人:赫尔穆斯·格里克 MSC公司:03B22号 PDF格式BibTeX公司 XML格式引用 \textit{N.Cuesta},收集。数学。8、73-84(1956年;Zbl 0072.00105)