Truth&Provability/GodelIncompleteTheorem

Welfare
来自: Welfare (Los Angeles) 2014-04-10 01:55:04创建   2014-04-10 02:31:28更新
2 人关注
全部(7)
来自：豆瓣读书
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic
(1人评价)
作者: Rene Cori / Daniel Lascar
出版社: Oxford University Press, USA
出版年: 2001-06-21
回复
来自：豆瓣读书
Godel's Incompleteness Theorems
(6人评价)
作者: Raymond M. Smullyan
出版社: Oxford University Press, USA
出版年: 1992-8-20
回复
来自：豆瓣读书
An Introduction to Gödel's Theorems
(8人评价)
作者: Peter Smith
出版社: Cambridge University Press
出版年: 2007-8-6
回复
来自：豆瓣读书
Godel's Theorem
(6人评价)
作者: Torkel Franzen
出版社: A K Peters, Ltd.
出版年: 2005-05-25
回复
来自：豆瓣读书
Gödel, Escher, Bach
9.4 (185人评价)
作者: Douglas R. Hofstadter
出版社: Basic Books
出版年: 1999-2-5
回复
来自：豆瓣读书
Computability and Logic
9.4 (35人评价)
作者: George S. Boolos / John P. Burgess / Richard C. Jeffrey
出版社: Cambridge University Press
出版年: 2007-09-17
回复
来自：豆瓣读书
Forever Undecided
(1人评价)
作者: Raymond M. Smullyan
出版社: Oxford Paperbacks
出版年: 2000-11-30
回复

什么是书单  · · · · · ·

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

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

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

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