简·克拉契克 有界算术、命题逻辑和复杂性理论。 （英语） Zbl 0835.03025号 数学百科全书及其应用. 60. 剑桥：剑桥大学出版社。xiv，341 p.（1995）。 正在审查的这本书是一本最新的专著，专门研究命题逻辑的有界算法和复杂性，重点是独立性证明和下限证明。讨论了逻辑和复杂性理论之间的联系。该书由15章组成，并辅以主题、名称和符号的参考文献和索引。它首先介绍了逻辑和复杂性理论的基础知识。然后讨论了命题证明系统和有界算法系统的结果。此外，还讨论了高级主题，包括多项式模拟和保守性结果、各种见证定理、有界公式（及其证明）到命题公式的转换、随机部分限制方法及其应用、直接独立性证明、完整的部分关系系统、，布尔估值方法、有界算术中的组合学和复杂性理论，以及与谓词演算复杂性问题的关系。材料以完整和最新的方式呈现。这本书的目的不是作为教科书，而是展示当代有界算术和命题逻辑复杂性研究的主要方面。它可以被研究数学家、计算机科学家和研究生使用。审核人：R.Murawski（波兹南） 引用于5评论引用于166文件 MSC公司： 30楼03号 一阶算法和片段 2015年3月1日 计算复杂性（包括隐式计算复杂性） 2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章） 关键词：有界算术;命题逻辑的复杂性;独立性证明;下限证明;命题证明系统;见证 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíček}，有界算术，命题逻辑和复杂性理论。剑桥：剑桥大学出版社（1995；Zbl 0835.03025）