检索条件： 证明-数理逻辑 ( 主题词 )
责任者 陆钟万
出版信息 科学出版社 ,1983
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
数理逻辑与机器证明
陆钟万.科学出版社,1983.
责任者 内井〓七
出版信息 中国人民大学出版社 ,1988.10
ISBN 7-300-00408-3
推理与证明：现代逻辑的技巧：xian dai luo ji de ji qiao
内井〓七.中国人民大学出版社,1988.10.
责任者 胡世华,陆钟万
出版信息 科学出版社 ,2015
ISBN 978-7-03-046422-4
数理逻辑基础．下册
胡世华,陆钟万.科学出版社,2015.
责任者 邱玉辉,张为群
出版信息 电子科技大学出版社 ,2005
ISBN 7-81016-330-2
自动推理导论
邱玉辉,张为群.电子科技大学出版社,2005.
责任者 邱玉辉编著,张为群编著
出版信息 电子科技大学出版社 ,1992.6
邱玉辉编著,张为群编著.电子科技大学出版社,1992.6.
责任者 石纯一,王家廞
出版信息 清华大学出版社 ,2000
ISBN 7-302-04042-7
数理逻辑与集合论
石纯一,王家廞.清华大学出版社,2000.
责任者 何建锋
出版信息 中国社会科学出版社 ,2024.12
ISBN 978-7-5227-3786-7
弗协调集合论模型研究
何建锋.中国社会科学出版社,2024.12.
责任者 郝兆宽,杨睿之,杨跃
出版信息 复旦大学出版社有限公司 ,2020.08
ISBN 978-7-309-14568-7
数理逻辑：证明及其限度
郝兆宽,杨睿之,杨跃.复旦大学出版社有限公司,2020.08.
责任者 斯穆里安
出版信息 中国轻工业出版社 ,2019
ISBN 978-7-5184-2183-1
数理逻辑入门
斯穆里安.中国轻工业出版社,2019.
责任者 王国俊
出版信息 科学出版社 ,2006
ISBN 978-7-03-044412-7
数理逻辑引论与归结原理
王国俊.科学出版社,2006.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
