| 书目名称 | Logic and Structure | | 编辑 | Dirk Dalen | | 视频video | | | 丛书名称 | 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 19943rd edition | | 关键词 | Goedel‘s theorem; basic model theory; first-order logic with natural deduction; intuitionistic logic an | | 版次 | 3 | | doi | https://doi.org/10.1007/978-3-662-02962-6 | | isbn_ebook | 978-3-662-02962-6Series ISSN 0172-5939 Series E-ISSN 2191-6675 | | issn_series | 0172-5939 | | copyright | Springer-Verlag Berlin Heidelberg 1994 |
The information of publication is updating
|
|
发表于 2025-3-21 18:39:36
