返回首页 联系帮助
数理逻辑引论
下载此书RAR压缩包在线购买PDF电子书
马振华编著1982 年出版273 页ISBN:
数理逻辑教程
莫绍揆著1982 年出版391 页ISBN:13255·003
数理逻辑、集合
邱伟德,胡美琛编著1987 年出版213 页ISBN:15045·总2997有5403
简明数理逻辑基础
刘治旺等编1985 年出版278 页ISBN:7173·704
陈慕泽著2001 年出版337 页ISBN:7208037485
数理逻辑
(苏)叶尔绍夫,(苏)巴鲁金著;沈百英,叶瑞芬译1990 年出版274 页ISBN:7562800804
暂缺《数理逻辑》简介
(英)汉密尔顿著2003 年出版236 页ISBN:7302068100
本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。
罗素五大讲演数理逻辑
1921 年出版44 页ISBN:
(苏)马尔科夫,А.А.著;黄顺基译1960 年出版12 页ISBN:13010·789
数理逻辑漫谈
莫绍揆编著1980 年出版80 页ISBN:13195·35