布鲁诺沃尔岑洛格尔古（编辑）;大卫·德拉哈耶（编辑） 所有关于证据，所有证据。 （英语） Zbl 1334.03007号 逻辑研究（伦敦）55.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-166-7/pbk）。vii，240页。(2015). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：Heule，Marijn J.H。；阿明·比尔，可满足性问题的证明，1-22[Zbl 1431.03024号]克拉克·巴雷特；莱昂纳多·德·莫拉；帕斯卡·方丹，可满足性模理论的证明，23-44[Zbl 1431.68111号]斯蒂芬·舒尔茨（Stephan Schulz）；杰夫·萨特克利夫，饱和一阶定理证明器的证明生成，45-61[Zbl 1431.68124号]克里斯托夫·本兹穆勒，高阶自动定理证明器，62-90[Zbl 1431.68122号]马卡里乌斯·温泽尔，从Isabelle/Isar的角度进行交互式定理证明，91-115[Zbl 1431.68125号]克里斯汀·保林·莫林，归纳结构微积分导论，116-133[Zbl 1431.03026号]Gilles Dowek，演绎模理论，134-149[Zbl 1431.03023号]戴尔·米勒，基础证明证书，150-163[Zbl 1431.03025号]阿莱西奥·古列尔米，深度推断，164-172[Zbl 1431.03075号]亚历山大·莱奇，《关于通过掏槽法进行探明采矿》，173-200[Zbl 1431.03074号]Jean-Raymond Abrial先生，Event-B中数学语言的定义及其证明系统，201-226[Zbl 1433.68089号]吉尔·巴特；法国杜普斯托尔；本杰明·格雷戈里；施密特（Benedikt Schmidt）；皮埃尔·伊夫·斯特鲁布，《计算机辅助密码学：一些工具和应用》，227-240[Zbl 1431.94110号] 引用于三文件 MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03财年03 一般证明理论（包括证明理论语义） 05年3月 切割消除和正规形定理 03B35型 证明和逻辑操作的机械化 68吨15 定理证明（演绎、解析等）（MSC2010） 00B15号机组 杂项特定利益物品的收集 PDF格式BibTeX公司 XML格式引用 \textit{B.Woltzenlogel Paleo（编辑）和\textit{D.Delahaye（编辑），关于证明，所有证明。伦敦：学院出版物（2015；Zbl 1334.03007）