沃尔夫冈·劳滕贝格 数学逻辑的简明介绍。第三次修订和扩大版。 (英语) Zbl 1185.03002号 Universitext(通用文本)伦敦:施普林格出版社(ISBN 978-1-4419-1220-6/pbk;978-1-441 9-1221-3/电子书)。xxi,319页。(2010). 这基本上是第三版德语版[Einführung in die mathematische Logik.Ein Lehrbuch.Wiesbaden:Vieweg+Teubner(2008;兹比尔1152.03002)]这本写得很好的教科书,因此是第二版英语的一个小扩展[纽约,NY:Springer(2006;Zbl 1093.03001号)]. 此外,还有一些对文本的小扩展,以及对章节划分的一些重组。这些练习原本是前几版的一部分,现在可以从作者和出版商的网页上获得。这本书仍然是数学家最值得推荐的数学逻辑入门读物之一,也非常适合计算机科学家。审核人:齐格弗里德·戈特瓦尔德(莱比锡) 引用于8文件 MSC公司: 03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等) 68N17号 逻辑编程 关键词:数学逻辑;逻辑演算;自然扣除;模型理论;逻辑程序设计;不完全性定理;可证明逻辑;自相关公式;递归理论 引文:Zbl 1152.03002号;Zbl 1093.03001号 PDF格式BibTeX公司 XML格式引用 \textit{W.Rautenberg},数学逻辑简明介绍。第三次修订和扩大版,伦敦:施普林格出版社(2010;Zbl 1185.03002) 全文: 内政部