杜珊珊,康宏逵著2017 年出版244 页ISBN:9787030530813
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...
(美)王浩(WangH.)著;康宏逵译2002 年出版449 页ISBN:7532728382
本书分上下两篇,上篇考察了歌德尔的事迹,从献身基本理论的角度来讲述歌德尔的生平,下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。 ...
(英)拉卡托斯(Lakatos,I.)等编著;康宏逵译1987 年出版209 页ISBN:2188·44
本书探讨了数学发现的逻辑
(美)雷蒙德·斯穆里安著;康宏逵译1987 年出版251 页ISBN:7532700283
美国著名逻辑学家斯穆里安这本脍炙人口的通俗逻辑读物,是一个逐步展开、层层深入的逻辑迷题系统。它从古老的逻辑悖论入门,引进200多则趣闻、故事和奇谲的迷题,最后到达有史以来最了不起的逻辑发现(歌德尔不完...
晋宏逵,黄希明著2004 年出版114 页ISBN:7508423496
本书讲述具有600年历史的世界文化遗产明清故宫的发展历程,登峰造极的建筑成就,宏阔壮丽的外朝宫殿,庭院深深的后宫,以及漫长历史长河中积淀的丰富的历史掌故、文化内涵等。本书适合旅游和文化鉴赏者。...