| 书目名称 | Logic and Structure |
| 编辑 | Dirk Dalen |
| 视频video | http://file.papertrans.cn/588/587991/587991.mp4 |
| 概述 | Contains a completely new chapter on the incompleteness of arithmetic.Now more self-contained.Adds useful information on basic recursion theory and arithmetic.Includes supplementary material: |
| 丛书名称 | Universitext |
| 图书封面 |  |
| 描述 | .From the reviews.: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen‘s book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." .Acta Scientiarum Mathematicarum, Hungary. |
| 出版日期 | Textbook 20044th edition |
| 关键词 | Goedel‘s theorem; basic model theory; first-order logic with natural deduction; intuitionistic logic an |
| 版次 | 4 |
| doi | https://doi.org/10.1007/978-3-540-85108-0 |
| isbn_ebook | 978-3-540-85108-0Series ISSN 0172-5939 Series E-ISSN 2191-6675 |
| issn_series | 0172-5939 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-9 09:49
发表于 2025-3-21 17:30:27
