| 書目名稱 | Logic and Structure |
| 編輯 | Dirk Dalen |
| 視頻video | http://file.papertrans.cn/588/587988/587988.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 11:28
發(fā)表于 2025-3-21 18:39:36
