检索条件： 数理逻辑 ( 主题词 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书符号逻辑：棋盘上的三段论
责任者 (英)刘易斯·卡罗尔著

出版信息黑龙江科学技术出版社 ,2025

ISBN 978-7-5719-2864-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(英)刘易斯·卡罗尔著.符号逻辑：棋盘上的三段论.黑龙江科学技术出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://127.0.0.1:8090/opac/book/699372
复制引文到剪贴板

符号逻辑：棋盘上的三段论

(英)刘易斯·卡罗尔著.黑龙江科学技术出版社,2025.
2 图书从数学到哲学
责任者 (美)王浩著

出版信息广西师范大学出版社 ,2024

ISBN 978-7-5598-6332-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美)王浩著.从数学到哲学.广西师范大学出版社,2024.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://127.0.0.1:8090/opac/book/679877
复制引文到剪贴板

从数学到哲学

(美)王浩著.广西师范大学出版社,2024.
3 图书不完备性：哥德尔的证明和悖论
责任者 (美)丽贝卡·戈德斯坦著

出版信息湖南科学技术出版社 ,2008.4

ISBN 7-5357-5245-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美)丽贝卡·戈德斯坦著.不完备性：哥德尔的证明和悖论.湖南科学技术出版社,2008.4.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://127.0.0.1:8090/opac/book/137334
复制引文到剪贴板

不完备性：哥德尔的证明和悖论

(美)丽贝卡·戈德斯坦著.湖南科学技术出版社,2008.4.
4 图书人工智能与数理逻辑
责任者刘奋荣著

出版信息北京科学技术出版社 ,2025

ISBN 978-7-5714-4818-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
刘奋荣著.人工智能与数理逻辑.北京科学技术出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://127.0.0.1:8090/opac/book/699696
复制引文到剪贴板

人工智能与数理逻辑

刘奋荣著.北京科学技术出版社,2025.

预借成功!

预约成功!