大约有82,618项符合查询结果项。(搜索耗时:0.1880秒)
为您推荐:
数理逻辑基础教程
逻辑基础问题
逻辑学基础
逻辑学基础教程
辩证法的逻辑基础 正版图书
逻辑学基础教程 正版图书
-
莫绍揆著1989 年出版55 页ISBN:7502306617
数理逻辑是采用数学方法来研究推理的一门科学
-
-
莫绍揆著1982 年出版391 页ISBN:13255·003
-
邱伟德,胡美琛编著1987 年出版213 页ISBN:15045·总2997有5403
-
陈慕泽著2001 年出版337 页ISBN:7208037485
-
(苏)叶尔绍夫,(苏)巴鲁金著;沈百英,叶瑞芬译1990 年出版274 页ISBN:7562800804
暂缺《数理逻辑》简介
-
(英)汉密尔顿著2003 年出版236 页ISBN:7302068100
本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。
-
-
(苏)马尔科夫,А.А.著;黄顺基译1960 年出版12 页ISBN:13010·789
-
莫绍揆编著1980 年出版80 页ISBN:13195·35