伊贡博格尔;埃里希·格拉德尔;于古瑞奇（Yu Gurevich）。 经典的决策问题。 （英语） Zbl 0865.03004号 数学逻辑的观点柏林：施普林格。xii，482页（1997年）。 这是一个百科全书式的一阶逻辑的可判定性和不可判定性结果的最新调查，以及各种辅助事实（包括可判定问题的计算复杂性的考虑）。这本书是一本研究专著，而不是教科书。作者在前言中的陈述“理解书的主要部分只需要一阶逻辑语言的基本知识”必须被视为一种幽默的尝试。读者实际上被认为是一位数学逻辑方面的资深专家，只需要一些提示就可以理解正在发生的事情。考虑到这一点，这本书将是每个研究图书馆必不可少的补充。两个典型的特点是每章末尾的历史评论和一个优秀的注释书目。还有一个关于瓷砖问题的附录，由Cyril Allauzen和Bruno Durand编写。这里是一些内容的摘要。第1章。经典的决策问题。第一部分：不确定类。第2章。减少。2.1不确定性和保守约简（Church-Turing和Trakhtenbrot定理、不可分性和模型复杂性）。2.2逻辑和复杂性（命题可满足性、谱问题和费金定理）。2.3可分类性问题。第3章。纯谓词逻辑的不确定标准类。3.1 Kahr类（多米诺骨牌问题）。3.3 Gurevich班。第4章。具有函数或等式的无法确定的标准类。第5章。其他不可判定的情况（Krom和Horn公式、少数原子子公式、带有两个变量的不可判定逻辑、前缀词汇类的连词）。第二部分。可判定类及其复杂性。第6章。具有有限模型属性的标准类。6.1证明复杂性结果的技术。6.2经典可解情形。6.3使用一个公式（所有公式）。6.4中等复杂度的标准类别。6.5有限模型特性与无穷公理。第7章。一元理论和具有无穷公理的可判定标准类。7.1自动机、博弈和一元理论的可判定性。7.2一元函数的一元二阶理论。7.3谢拉班。第八章。其他可判定的情况。8.1具有两个变量的一阶逻辑。8.2决策问题的统一和应用。8.3 Kron公式的可判定类别。审核人：E.Mendelson（法拉盛） 引用于2评论引用于138文件 理学硕士： 2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章） 03B25号 理论和句子集的可决定性 03B10号机组 经典一阶逻辑 2015年3月15日 计算复杂性（包括隐式计算复杂性） 03天35分 成套句子的不可解释性和程度 65年第68季度 算法和问题复杂性分析 关键词：调查;可判定性;不可判定性;一阶逻辑;计算复杂性 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}等人，经典决策问题。柏林：施普林格出版社（1997；Zbl 0865.03004）