| 字词 | 数理逻辑基础 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 数理逻辑基础德国希尔伯特和他学生阿克曼合著。数理逻辑的经典著作。全书分四章：第一章，命题演算；第二章，类演算；第三章，狭义谓词演算；第四章，广义谓词演算。内容简明扼要而又相当广深，特别对元逻辑的理论作出了重大的贡献。有莫绍揆的中文译本。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。