威廉·克雷格 线性推理。Herbrand-Gentzen定理的一种新形式。 （英语） Zbl 0081.24402号 J.塞姆。日志。 22, 250-268 (1957). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于89文件 关键词：哲学与数学基础 PDF格式BibTeX公司 XML格式引用 \textit{W.Craig}，J.Symb。日志。22250-268（1957年；Zbl 0081.24402） 全文： DOI程序 参考文献： [1] 元数学导论pp 550–（1952） [2] Mathematische Zeitschrift 39第405页–（1934年） [3] Recherches sur la théorie de la démonstration第128页– 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。