数理逻辑（含四论）--学习

reverse_dog
来自: reverse_dog (深圳) 2011-06-17 22:50:47创建   2011-07-02 23:08:39更新
1人
65 人关注
全部(21)
来自：豆瓣读书
可计算性与不可解性
(5人评价)
作者: 【美】M.戴维斯
出版社: 北京大学出版社
回复
来自：豆瓣读书
数理逻辑
8.4 (61人评价)
作者: [美]Herbert B.Enderton
出版社: 人民邮电出版社
出版年: 2007-3
回复
来自：豆瓣读书
数理逻辑通俗讲话
8.5 (26人评价)
作者: 王浩
出版社: 科学出版社
出版年: 1983
回复
来自：豆瓣读书
数理逻辑引论
9.3 (54人评价)
作者: 王宪钧
出版社: 北京大学出版社
出版年: 1998
回复
来自：豆瓣读书
数理逻辑基础（上册）
(14人评价)
作者: 胡世华 / 陆钟万
出版社: 科学出版社
出版年: 1981年1月
回复
来自：豆瓣读书
数理逻辑基础（下册）
(7人评价)
作者: 胡世华 / 陆钟万
出版社: 科学出版社
出版年: 1982年8月
回复
来自：豆瓣读书
模型论基础
7.1 (20人评价)
作者: 王世强
出版社: 科学出版社
出版年: 2007-1
回复
来自：豆瓣读书
递归论
(10人评价)
作者: 莫绍揆
出版社: 科学出版社
出版年: 1987-1
回复
来自：豆瓣读书
元数学导论（下）
(7人评价)
作者: [美] S.C.克林
出版社: 科学出版社
出版年: 1985-9
回复
来自：豆瓣读书
元数学导论（上）
(11人评价)
作者: [美] S.C.克林
出版社: 科学出版社
出版年: 1984-11
回复
来自：豆瓣读书
数理逻辑
(4人评价)
作者: 刘新文
出版社: 中国社会科学出版社
出版年: 2010-2
回复
来自：豆瓣读书
集合论基础
9.3 (43人评价)
作者: Herbert B. Enderton
出版社: 人民邮电出版社
出版年: 2006-4
回复
来自：豆瓣读书
面向计算机科学的数理逻辑
7.8 (82人评价)
作者: 陆钟万
出版社: 科学出版社
出版年: 2002-1
回复
来自：豆瓣读书
公理集合论导引
8.8 (30人评价)
作者: 张锦文
出版社: 科学出版社
出版年: 1999-02-01
回复
来自：豆瓣读书
模型论导引
(13人评价)
作者: 沈复兴
出版社: 北京师范大学出版社
出版年: 1995-10-1
回复
来自：豆瓣读书
数理逻辑
7.1 (116人评价)
作者: 邢滔滔
出版社: 北京大学出版社
出版年: 2008-8
回复
来自：豆瓣读书
集合论与连续统假设浅说
(14人评价)
作者: 张锦文
出版社: 上海教育出版社
出版年: 1980
回复
来自：豆瓣读书
数理逻辑发展史：从莱布尼茨到哥德尔
7.5 (29人评价)
作者: 张家龙著
出版社: 社会科学文献出版社
出版年: 1993
回复
来自：豆瓣读书
数理逻辑与机器证明
(3人评价)
作者: 陆钟万
出版社: 科学出版社
出版年: 1983年11月
回复
来自：豆瓣读书
逻辑基础
7.8 (135人评价)
作者: 王路
出版社: 人民出版社
出版年: 2004-1-1
回复
来自：豆瓣读书
数理逻辑基础
(9人评价)
作者: 希尔柏脱 / 阿克曼
出版社: 科學出版社
出版年: 1958-7
回复

什么是书单  · · · · · ·

书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。

你还可以看看其他人的收集，关注你感兴趣的书单。

这个书单的标签  · · · · · ·

reverse_dog的其它豆列  · · · · · ·  ( 全部 )