检索
高级检索
集群检索
书目浏览
中图分类浏览
科图分类浏览
期刊导航
西文期刊字母导航
学科导航
期刊学科导航
我的图书馆
新书通报
中图分类查看
科图分类查看
图书专题
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&searchType=standard&isFacet=true&view=standard&searchWay=subject&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
数理逻辑
, 检索到: 412 条结果, 检索时间: 0.022 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
数理逻辑
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(327)
B 哲学、宗教
(39)
T 工业技术
(39)
F 经济
(13)
G 文化、科学、教育、体育
(4)
I 文学
(3)
K 历史、地理
(3)
Q 生物科学
(2)
A 马列主义、毛泽东思想、邓小平理论
(1)
C 社会科学总论
(1)
H 语言、文字
(1)
J 艺术
(1)
X 环境科学,安全科学
(1)
图书馆
武汉理工大学图书馆
(403)
国际教育学院
(1)
机电工程学院
(4)
经济学院
(2)
计算机学院(余区)
(4)
理学院
(63)
能源与动力学院
(5)
汽车工程学院
(4)
法学与人文社会学院分馆
(3)
信息工程学院
(7)
艺术与设计学院
(3)
自动化学院
(11)
资源与环境工程学院
(1)
显示更多..
馆藏地点
南湖图书借阅区
(233)
西院中文图书借阅区
(212)
余区中文图书借阅区
(179)
余区图书保存本库
(149)
南湖保存本图书借阅区
(140)
西院三线书库
(86)
理学院资料室(南湖)
(63)
东院中文图书借阅区
(24)
自动化学院资料室(东院)
(11)
信息工程学院资料室(鉴湖)
(7)
能源与动力学院资料室(余区)
(5)
南湖外文图书借阅区
(4)
余区外文图书借阅区
(4)
机电工程学院资料室(东院)
(4)
汽车工程学院资料室(东院)
(4)
计算机学院(余区)
(4)
西院西文图书保存本库
(3)
法学与人文社会学分馆(东院)
(3)
艺术与设计学院资料室(南湖)
(3)
经济学院资料室(鉴湖)
(2)
显示更多..
主题
离散数学
(162)
高等学校
(151)
数理逻辑
(146)
研究
(41)
现代
(14)
高等教育
(13)
电子计算机
(12)
哲学思想
(10)
概论
(10)
英国
(10)
数学
(9)
逻辑学
(9)
集论
(9)
logic, symbolic and mathematical
(8)
数学基础
(7)
研究生
(7)
人工智能
(6)
应用
(6)
形式逻辑
(6)
数学哲学问题
(6)
显示更多..
著者
耿素云
(21)
屈婉玲
(18)
罗素
(12)
张立昂
(11)
陆钟万
(7)
(英) 罗素著
(6)
莫绍揆
(6)
屈婉玲, 耿素云, 张立昂编著
(5)
晏成书
(5)
晏成书译
(5)
王元元
(5)
王国俊
(5)
王国俊著
(5)
耿素云, 屈婉玲, 张立昂编著
(5)
(英) 伯特兰·罗素著
(4)
刘新文
(4)
李娜
(4)
杨睿之
(4)
维特根斯坦
(4)
陆钟万著
(4)
显示更多..
出版日期
2010
(22)
2016
(19)
2023
(19)
2008
(18)
2017
(18)
2018
(18)
2021
(18)
2012
(17)
2007
(16)
2019
(15)
2011
(14)
2006
(13)
2013
(13)
2014
(13)
2020
(12)
2022
(12)
2004
(11)
2015
(11)
2024
(9)
1984
(8)
显示更多..
文献类型
图书(纸本)
(412)
显示更多..
语言种类
汉语
(402)
英语
(8)
俄语
(1)
显示更多..
新到时间
过去7天
(0)
过去30天
(2)
过去60天
(3)
过去90天
(5)
过去180天
(6)
超过180天
(412)
显示更多..
在馆
在馆
(412)
显示更多..
保存至书单:
创建新书单
共 42 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>
1.
数理逻辑与集合论
已借6次.
订购中
著者:
房元霞
赵汝木
盛秀艳
出版社:
科学出版社
出版日期: 2015
文献类型:
图书(纸本) , 索书号:
O141/52
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
McCarthy函数和Ackermann函数
已借2次.
订购中
著者:
刘培杰数学工作室
出版社:
哈尔滨工业大学出版社
出版日期: 2017
文献类型:
图书(纸本) , 索书号:
O141/59
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
数理逻辑是什么
已借4次.
订购中
著者:
克罗斯利
出版社:
中国轻工业出版社
出版日期: 2018
文献类型:
图书(纸本) , 索书号:
O141-49/4
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
数理逻辑
订购中
著者:
沈百英
出版社:
国防工业出版社
出版日期: 1991.12
文献类型:
图书(纸本) , 索书号:
O141/14
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
简明数理逻辑基础
订购中
著者:
刘治旺
出版社:
福建人民出版社
出版日期: 1985
文献类型:
图书(纸本) , 索书号:
O141/015
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
作为哲学的数理逻辑
已借2次.
订购中
著者:
杨睿之
出版社:
复旦大学出版社
出版日期: 2016
文献类型:
图书(纸本) , 索书号:
O141/56
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
简明数理逻辑
已借1次.
订购中
著者:
赵希顺
出版社:
科学出版社
出版日期: 2021
文献类型:
图书(纸本) , 索书号:
O141/74
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
数理逻辑
已借1次.
订购中
著者:
张清宇
出版社:
中国社会科学出版社
出版日期: 2010
文献类型:
图书(纸本) , 索书号:
O141/36
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
吴允曾选集:数理逻辑与计算机科学:Mathematical Logic and ComputerScience
订购中
著者:
吴允曾
出版社:
北京科学技术出版社
出版日期: 1991
文献类型:
图书(纸本) , 索书号:
51.3083/395
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
数理逻辑入门
已借10次.
订购中
著者:
李锡胤
出版社:
黑龙江大学出版社
出版日期: 2013
文献类型:
图书(纸本) , 索书号:
O141/47
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 42 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>