e.g., 复旦大学周杰伦

Query String: 数理逻辑

Named-Entity Disambiguation:数理逻辑(2006年人民邮电出版社出版的图书)

点击更新页面

Visualization Timeline Curiosity

Information

《数理逻辑》是2006年人民邮电出版社出版的图书,作者是恩德滕。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。

InfoBox

ISBN 9787115141453
丛书 图灵原版计算机科学系列
书名 数理逻辑
作者 (美)恩德滕
出版时间 2006年01月01日
出版社 人民邮电出版社
字数 440000
定价 39.00
开本 16 开
类别 高等数学
装帧 平装
页数 317 页

CN-Probase Concept

DBpedia Type

Baidu Baike Tag

Linking

Copyright © 2014-2017 KW Lab@Fudan University