检索条件： 数理逻辑-推理 ( 主题词 )
责任者 Raymond M. Smullyan, 刘新文 ..
出版信息 中国轻工业出版社 ,20190101
ISBN 978-7-5184-2183-1
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
数理逻辑入门
Raymond M. Smullyan, 刘新文 ...中国轻工业出版社,20190101.
责任者 (英)约翰逊(D.A.Johnson),(美)泰勒(D.F.Taylor)
出版信息 科学出版社 ,19840101
ISBN 0
数学逻辑与推理
(英)约翰逊(D.A.Johnson),(美)泰勒(D.F.Taylor).科学出版社,19840101.
责任者 (日)内井〓七
出版信息 中国人民大学出版社 ,19880101
ISBN 7-300-00408-3
推理与证明: 现代逻辑的技巧
(日)内井〓七.中国人民大学出版社,19880101.
责任者 (英)胡思(Michael Huth)，( )Mark Ryan
出版信息 机械工业出版社 ,20050101
ISBN 7-111-16053-3
面向计算机科学的数理逻辑: 系统建模与推理
(英)胡思(Michael Huth)，( )Mark Ryan.机械工业出版社,20050101.
责任者 栾尚敏, 王树
出版信息 科学出版社 ,20160101
ISBN 978-7-03-050762-4
智能推理及其在信念修正中的应用
栾尚敏, 王树.科学出版社,20160101.
责任者 张祥斌
出版信息 电子工业出版社 ,2018
ISBN 978-7-121-34022-2
逻辑游戏
张祥斌.电子工业出版社,2018.
责任者 王岚，乐毓俊
出版信息 北京邮电大学出版社 ,20050101
ISBN 7-5635-0921-6
计算机自动推理与智能教学
王岚，乐毓俊.北京邮电大学出版社,20050101.
责任者 彭漪涟，余式厚著
出版信息 北京大学出版社 ,2019.1
ISBN 978-7-301-30615-4
趣味逻辑
彭漪涟，余式厚著.北京大学出版社,2019.1.
责任者 李万中(Andy Lee)
出版信息 清华大学出版社 ,20170101
ISBN 978-7-302-46630-7
思维的利剑: 批判性思维让我们看清自己看清世界
李万中(Andy Lee).清华大学出版社,20170101.
责任者 胡俊,顾静相
出版信息 国家开放大学出版社 ,2022
ISBN 978-7-304-09971-8
离散数学：本科
胡俊,顾静相.国家开放大学出版社,2022.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
