沃尔夫冈·比贝尔 库尔特·舒特的回忆。 （英语） Zbl 1479.01010号 莱因哈德·卡勒（编辑）等人，《库尔特·施瓦特的遗产》。查姆：斯普林格。63-69 (2020). 关于整个系列，请参见[Zbl 1470.03011号]. MSC公司： 01A70号 传记、讣告、个人信息、参考书目 传记参考： 库尔特·舒特 PDF格式BibTeX公司 XML格式引用 \textit{W.Bibel}，《库尔特·舒特的遗产》。查姆：斯普林格。63-69（2020年；Zbl 1479.01010） 全文： 内政部 参考文献： [1] 库尔特·舒特。证明理论。Grundlehren der mathematischenIssenschaften格兰德伦数学研究所225。施普林格·弗拉格，柏林，1977年。英文版和修订版：Beweistheorie（1960） [2] 库尔特·舒特。Vollständige Systeme Modaler and Intuitonitischer Logik公司。Ergebnisse der Mathematik und ihrer Grenzgebiete，乐队42。柏林施普林格出版社，1968年·Zbl 0157.01602号 [3] 库尔特·舒特。Zur Berechenbarkeit von Funktitionen hoherer Typen（苏尔·贝雷肯巴基特·冯·芬克蒂昂·霍勒）。Mathematiches Forschungs instituttut Oberwolfach，http://oda.mfo.de/view/bsz/325107009/DEFAULT/110/1967年4月。 [4] 库尔特·舒特。预测性良好。J.Crossley和M.Dummett，《形式系统和递归函数》编辑，第279-302页。荷兰北部，阿姆斯特丹，1965年·Zbl 0134.01201号 [5] 库尔特·舒特。Eine Grenze毛皮模具Beweisbarkeit der Transfiniten Induktion in der verzweigten Typenlogik。Archive für mathematische Logik und Grundlagenforschung，7:45-601965年·Zbl 0158.00705号 [6] 库尔特·舒特。简单类型理论的句法和语义特性。《符号逻辑杂志》，1960年，25:305-326·Zbl 0109.00511号 [7] 库尔特·舒特。Pradikatenlogik公司。Mathematische Annalen，122:47-651950年·Zbl 0036.14801号 [8] 所罗门·费弗曼。谓词分析系统。《符号逻辑杂志》，29:1-301964年·Zbl 0134.01101号 [9] 沃尔夫冈·比贝尔（Wolfgang Bibel）和约阿希姆·施赖伯（Joachim Schreiber）。一阶逻辑类Gentzen系统中的证明搜索。E.Gelenbe和D.Poitier，编辑，《国际计算研讨会论文集》，第205-212页，阿姆斯特丹，1975年。霍兰德北部·Zbl 0324.68053号 [10] 沃尔夫冈·比贝尔。一阶逻辑中系统定理证明过程的一种方法。计算机，12:43-551974。1971年首次提交GI年会；也可在Munchen，Abteilung Mathematik，技术大学Bericht Nr.7207（1972）获得·Zbl 0273.68058号 [11] 沃尔夫冈·比贝尔。einem Teilsystem der einfachen Typenlogik中的Schnittelination。1969年12月159-178日，《数学逻辑档案》·兹比尔0198.32102 [12] L·沃尔夫冈·比贝尔（L.Wolfgang Bibel）。反射波或反射波-纪念福舍尔。Cuvillier Verlag，哥廷根，2017年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。