书标签:数理逻辑

豆瓣成员把这些标注为 "数理逻辑"

哥德尔

王浩 / 2002-09-01 / 上海译文出版社 / 徘徊在知识边界的独行者 / 30.0 / 平装 / 康宏逵

算术基础

(德)弗雷格 / 2003-01-01 / 商务印书馆 / 10.0 / 平装 / 王路

数理逻辑通俗讲话

王浩 / 科学出版社 / 1.55

数理哲学导论

(英)罗素 / 2003-6-1 / 商务印书馆 / 11.0 / 平装 / 晏成书

数理逻辑(英文版·第2版)

(美)Herbert B. Enderton 著 / 2006-01-01 / 人民邮电出版社 / A Mathematical Introduction to Logic, Second Edition / 39.0 / 平装

数理逻辑与集合论

石纯一 / 2000-12-01 / 清华大学出版社 / 18.0 / 平装(无盘)

应用逻辑(英文版·第2版)

(美)尼罗德 / 2006-9-1 / 机械工业出版社 / 49.0 / 平装

数理逻辑(第2版)

(美)恩德滕 / 2007-3-1 / 人民邮电出版社 / 35.0 / 平装 / 沈复兴 / 陈磊 / 孙运传

哥德尔、艾舍尔、巴赫

(美)Douglas Hofstadter(侯世达) / 1996-08-01 / 商务印书馆 / 集异璧之大成 / 50.2 / 精装 / 郭维德 等

面向计算机科学的数理逻辑(第二版)(中国科学院研究生教学丛书)

陆钟万 / 2002-1-1 / 科学出版社 / 19.0 / 平装

可计算性与数理逻辑(第四版)——国外计算机科学教材系列

(美)布勒斯 / 2005-07-01 / 电子工业出版社 / 32.0 / 平装 / 何自强

逻辑人生

约翰·卡斯蒂 / 2002-11-01 / 上海科技教育出版社 / 哥德尔传 / 12.3 / 平装 / 刘晓力 / 叶闯

苹果核里的桃先生

七格 / 2003-01 / 云南人民出版社 / 15.8 / 平装

哥德尔证明(当代世界学术名著·哲学系列)

(美)内格尔 / (美)纽曼 / 2008-3-1 / 中国人民大学出版社 / 18.0 / 平装 / 连永君 / 陈东威

逻辑学

宋文坚 / 2002-7-1 / 人民出版社 / 21.0 / 精装

数理逻辑引论

王宪钧 / 北京大学出版社 / 28.00元

数理逻辑:基本原理与形式演算

李未 / 2008-1-1 / 科学出版社 / 58.0 / 精装

大学计算机教育国外著名教材、教参系列(影印版):数理逻辑(修订版)

A.G.Hamilton / 2003-8-1 / 清华大学出版社 / 26.0

素朴集合论

刘壮虎 / 2001-01-01 / 北京大学出版社 / 18.0

应用逻辑

(美)尼罗德 / (美)肖尔 / 2007-07-01 / 机械工业出版社 / 38.0 / 平装 / 丁德成

<前页123456789...后页>

相关的标签   · · · · · · 



> 浏览全部书标签



© 2005-2009 douban.com, all rights reserved     [苏ICP备05010685] 关于豆瓣 · 免责声明 · 隐私原则 · 帮助中心 · 豆瓣服务(API)