彼得·施罗德·海斯特 解析和结构推理的起源：赫兹和根岑的早期证明理论思想。 （英语） Zbl 1005.03004号 牛市。符号。日志。 8，第2期，246-265（2002）. 仔细介绍了赫兹和根岑的命题逻辑结构系统和赫兹的带变量结构逻辑，以及其中包含的主要定理（范式、可判定性和完备性）的证明草图，其中突出了它们方法的相似之处和不同之处，强调它们作为现代技术先驱的重要性，并产生了结构证明理论、解析演算和逻辑编程。审核人：维克托·潘布奇（凤凰城） 引用于1审查引用于15文件 MSC公司： 03-03 数学逻辑和基础的历史 01年6月 20世纪数学史 05年3月 切割消除和正规形定理 03B05号 经典命题逻辑 关键词：结构体系;命题逻辑;结构逻辑;结构证明理论 PDF格式BibTeX公司 XML格式引用 \发短信{P.Schroeder Heister}，公牛。符号。日志。8，第2号，246--265（2002；Zbl 1005.03004） 全文： DOI程序 链接