×

数学逻辑的简明介绍。第三次修订和扩大版。 (英语) 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号)]. 此外,还有一些对文本的小扩展,以及对章节划分的一些重组。这些练习原本是前几版的一部分,现在可以从作者和出版商的网页上获得。
这本书仍然是数学家最值得推荐的数学逻辑入门读物之一,也非常适合计算机科学家。

MSC公司:

03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等)
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部