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

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书数理逻辑引论：计算机科学与系统的天然基础
责任者刘志明,裘宗燕

出版信息科学出版社 ,2022.10

ISBN 978-7-03-073238-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
刘志明,裘宗燕.数理逻辑引论：计算机科学与系统的天然基础.科学出版社,2022.10.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/5966512
复制引文到剪贴板

数理逻辑引论：计算机科学与系统的天然基础

刘志明,裘宗燕.科学出版社,2022.10.
2 图书相识数学逻辑
责任者黄忠裕,赵焕光

出版信息科学出版社 ,2010

ISBN 978-7-03-028711-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
黄忠裕,赵焕光.相识数学逻辑.科学出版社,2010.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/57789
复制引文到剪贴板

相识数学逻辑

黄忠裕,赵焕光.科学出版社,2010.
3 图书集合论、数学逻辑和算法论问题：俄文
责任者拉夫罗夫,马克西莫娃

出版信息哈尔滨工业大学出版社 ,2021

ISBN 978-7-5603-9227-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
拉夫罗夫,马克西莫娃.集合论、数学逻辑和算法论问题：俄文.哈尔滨工业大学出版社,2021.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/5962041
复制引文到剪贴板

集合论、数学逻辑和算法论问题：俄文

拉夫罗夫,马克西莫娃.哈尔滨工业大学出版社,2021.
4 图书塔斯基定理与真理论悖论
责任者熊明

出版信息科学出版社 ,2014.05

ISBN 978-7-03-040124-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
熊明.塔斯基定理与真理论悖论.科学出版社,2014.05.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/275888
复制引文到剪贴板

塔斯基定理与真理论悖论

熊明.科学出版社,2014.05.
5 图书逻辑与演绎科学方法论导论
责任者塔尔斯基

出版信息商务印书馆 ,1963

ISBN 978-7-100-00520-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
塔尔斯基.逻辑与演绎科学方法论导论.商务印书馆,1963.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/91234
复制引文到剪贴板

逻辑与演绎科学方法论导论

塔尔斯基.商务印书馆,1963.

预借成功!

预约成功!