检索条件： 推理-数理逻辑 ( 主题词 )
责任者 莫绍揆
出版信息 科学技术文献出版社 ,1989.3
ISBN 7-5023-0661-7
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
数理逻辑概貌
莫绍揆.科学技术文献出版社,1989.3.
责任者 张霭珠
出版信息 复旦大学出版社 ,2004
ISBN 7-309-04237-9
半符号逻辑：传统逻辑与符号逻辑的桥梁
张霭珠.复旦大学出版社,2004.
责任者 邱玉辉,张为群
出版信息 电子科技大学出版社 ,2005
ISBN 7-81016-330-2
自动推理导论
邱玉辉,张为群.电子科技大学出版社,2005.
责任者 邱玉辉编著,张为群编著
出版信息 电子科技大学出版社 ,1992.6
邱玉辉编著,张为群编著.电子科技大学出版社,1992.6.
责任者 内井〓七
出版信息 中国人民大学出版社 ,1988.10
ISBN 7-300-00408-3
推理与证明：现代逻辑的技巧：xian dai luo ji de ji qiao
内井〓七.中国人民大学出版社,1988.10.
责任者 杨树森
出版信息 高等教育出版社 ,2023
ISBN 978-7-04-060279-1
逻辑学
杨树森.高等教育出版社,2023.
责任者 王国俊
出版信息 科学出版社 ,2008
ISBN 978-7-03-021295-5
非经典数理逻辑与近似推理(第二版)
王国俊.科学出版社,2008.
非经典数理逻辑与近似推理
责任者 郭开仲
出版信息 科学出版社 ,2008.7
ISBN 978-7-03-020534-6
错误逻辑
郭开仲.科学出版社,2008.7.
责任者 李未
ISBN 978-7-03-020096-9
数理逻辑：基本原理与形式演算
李未.科学出版社,2008.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
