书名。德国数学家*希尔伯特及其学生阿克曼(Wilhelm Ackermann, 1896—1962)合著。分命题演算、类演算、狭义谓词演算、广义谓词演算四章。原书名为
词条 | 数理逻辑基础 |
释义 | 数理逻辑基础 书名。德国数学家*希尔伯特及其学生阿克曼(Wilhelm Ackermann, 1896—1962)合著。分命题演算、类演算、狭义谓词演算、广义谓词演算四章。原书名为 |
随便看 |
百科全书收录125729 条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。