大拱桥--暨南大学学生门户 » 图书馆 » (分类号：O141-49)(共2本)

不完备性 : 哥德尔的证明和悖论 : the proof and paradox of Kurt Godel

8.3
索取号：O141-49/20091
作者：戈尔茨坦、唐璐、
出版社：长沙 : 湖南科学技术出版社, 2008

从前有个数 : 故事中的数学逻辑

7.1
索取号：O141-49/20071
作者：保罗斯、史树中、
出版社：上海 : 上海科学技术出版社, 2006