列夫·贝克莱米舍夫;马蒂·彭特斯;尼古拉·维雷沙金 可证明性、复杂性、语法。三篇俄文翻译的博士论文。 （英语） Zbl 0914.00019号 翻译。系列2。美国数学学会（AMS）。192.普罗维登斯，RI：美国数学学会（AMS）。ix，172页（1999年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。这本书包含数学逻辑和复杂性理论三篇杰出论文的英文翻译。L.Beklemishev证明了所有可证明逻辑都必须属于四个已知类之一。M.Pentus的论文证明了关于两种形式语言方法的等价性的Chomsky猜想：Chomsky-层次和Lambek演算。N.Vereshchagin的论文描述了复杂性理论中可逆性准则的一般框架。索引文章：L.D.Beklemishev。，命题可证明逻辑的分类，1-56[Zbl 0933.03079号]马蒂·彭特斯，Lambek演算和形式文法，57-86[Zbl 0933.03019号]尼科莱·K·维雷沙金（Nicolai K.Vereshchagin）。，复杂性理论中的相对性，87-172[Zbl 0933.03049号] 引用于1文件 MSC公司： 00B15号机组 杂项特定利益物品的收集 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：可预防性;复杂性;语法 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}等人，可证明性，复杂性，语法。三篇俄文翻译的博士论文。普罗维登斯，RI:美国数学学会（1999；Zbl 0914.00019）