检索
高级检索
集群检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
借阅分析
图书借阅排行榜
热门图书排行榜
读者借阅排行榜
图书专题
图书荐购
读者荐购
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%28%E8%8B%B1%29+d.+m.+%E5%8A%A0%E8%B4%9D&searchType=standard&isFacet=true&view=standard&searchWay=author&booktype=1&booktype=2&booktype=3&booktype=4&booktype=5&booktype=7&booktype=8&booktype=9&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
booktype=1&booktype=2&booktype=3&booktype=4&booktype=5&booktype=7&booktype=8&booktype=9&rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
(英) D. M. 加贝
, 检索到: 1 条结果, 检索时间: 0.047 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
(英) D. M. 加贝
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(1)
图书馆
显示更多..
馆藏地点
显示更多..
主题
本书围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开,内容分上、下两篇,共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。
(1)
显示更多..
著者
(英) d. m. 加贝, (俄) s. s. 贡恰罗夫, (英) m. 扎哈里扬谢夫编
(1)
显示更多..
出版日期
2020
(1)
显示更多..
文献类型
图书
(1)
显示更多..
语言种类
汉语
(1)
显示更多..
在馆
不在馆
(1)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
应用逻辑中的数学问题
订购中
著者:
(英) D. M. 加贝
(俄) S. S. 贡恰罗夫
(英) M. 扎哈里扬谢夫编
出版社:
科学出版社
出版日期: 2020.3
文献类型:
图书 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>