检索条件: 谓词逻辑 ( 主题词 )
责任者
出版信息 华东师范大学出版社
ISBN 978-7-5169-1188-4
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
相干与衍推谓词逻辑
.华东师范大学出版社,.
责任者 郭开仲
出版信息 科学出版社 ,2008
ISBN 978-7-03-020534-6
错误逻辑
郭开仲.科学出版社,2008.
责任者 杨武金
ISBN 978-7-03-021527-7
逻辑学基础
杨武金.科学出版社,2008.
责任者 郭桥
出版信息 人民出版社 ,2003
ISBN 978-7-01-004008-0
大学逻辑导论
郭桥.人民出版社,2003.
责任者 徐明
出版信息 武汉大学出版社 ,2008.9
ISBN 978-7-307-06553-6
符号逻辑讲义
徐明.武汉大学出版社,2008.9.
责任者 陈波
出版信息 北京师范大学出版社 ,2011
ISBN 978-7-303-08724-2
逻辑学概论
陈波.北京师范大学出版社,2011.
责任者 邱学绍
出版信息 机械工业出版社 ,2011
ISBN 978-7-111-32233-7
离散数学
邱学绍.机械工业出版社,2011.
责任者 张忠志
出版信息 高等教育出版社 ,2002
ISBN 7-04-010829-1
张忠志.高等教育出版社,2002.
责任者 朱水林
出版信息 辽宁教育出版社 ,1987
ISBN 7-5382-0179-3
哥德尔不完全性定理
朱水林.辽宁教育出版社,1987.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您