检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
信息公告
全馆图书催还通知
所有标签
图书专题
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=*%3A*&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_subject=logic%2C+symbolic+and+mathematical&f_booktype=1&f_class1=q&f_class2=o1&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
*:*
, 检索到: 25 条结果, 检索时间: 0.109 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
*:*
集群图书馆
分类导航
qa9
(19)
O14 数理逻辑-数学基础
(17)
O15 代数-数论-组合理论
(5)
qa3
(3)
B81 逻辑学(论理学)
(1)
o10
(1)
O17 数学分析
(1)
Q33 人工选择与自然选择
(1)
qa1
(1)
qa7
(1)
回到上一级分类
已经限定的分面
馆藏地点:
主题:
logic, symbolic and mathematical
x
文献类型:
图书
x
图书馆
辽宁省图书馆
(25)
显示更多..
馆藏地点
显示更多..
主题
[logic, symbolic and mathematical]
(25)
mathematics
(3)
computable functions
(2)
fuzzy logic
(2)
machine theory
(2)
mathematical analysis
(2)
proof theory
(2)
algebra
(1)
algebra, boolean
(1)
automatic theorem proving
(1)
big data
(1)
calculus
(1)
categories (mathematics)
(1)
computer science
(1)
dialetheism
(1)
fuzzy sets
(1)
graphic methods
(1)
group theory
(1)
inconsistency (logic)
(1)
induction (mathematics)
(1)
显示更多..
著者
ebbinghaus, heinz-dieter,
(2)
thomas, wolfgang,
(2)
arai, t
(1)
asian logic conference
(1)
barwise, jon.,
(1)
bell, j. l
(1)
boolos, george
(1)
boyer, robert s
(1)
burgess, john p.,
(1)
burness, timothy c.,
(1)
chong, c.-t
(1)
courcelle, b
(1)
dauben, joseph warren,
(1)
enderton, herbert b.,
(1)
engelfriet, joost
(1)
flum, jorg,
(1)
flum, j鑟rg
(1)
fong, brendan,
(1)
giudici, michael,
(1)
gunderson, david s
(1)
显示更多..
出版日期
显示更多..
文献类型
[图书]
(25)
显示更多..
语言种类
显示更多..
保存至书单:
创建新书单
共 3 页
首页
<上一页
1
2
3
下一页>
尾页>>
1.
Introduction to mathematical proofs :: a transition to advanced mathematics /
订购中
著者:
Charles E. Roberts
Jr.
Indiana State University
Terre Haute
USA.
出版社:
CRC Press, Taylor & Francis Group,
出版日期: c2015.
文献类型:
图书 , 索书号:
O141.2-43/R643=2
在馆信息
图书目录
内容简介
著者简介
2.
The foundations of mathematics /
订购中
著者:
Tall
David Orme
出版社:
Oxford University Press,
出版日期: 2015.
文献类型:
图书 , 索书号:
O1/S849=2
在馆信息
图书目录
内容简介
著者简介
3.
Proceedings of the 11th Asian Logic Conference :: in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
订购中
著者:
Chong
C.-T.
Arai
T.
出版社:
World Scientific,
出版日期: c2012.
文献类型:
图书 , 索书号:
O14-532/A832
在馆信息
图书目录
内容简介
著者简介
4.
Graph structure and monadic second-order logic :: a language-theoretic approach /
订购中
著者:
Engelfriet
Joost.
出版社:
Cambridge University Press,
出版日期: 2012.
文献类型:
图书 , 索书号:
O141/C859
在馆信息
图书目录
内容简介
著者简介
5.
Handbook of mathematical induction :: theory and applications /
订购中
著者:
David S. Gunderson.
出版社:
CRC Press,
出版日期: c2011.
文献类型:
图书 , 索书号:
O141/G975
在馆信息
图书目录
内容简介
著者简介
6.
Mathematical reasoning :: patterns, problems, conjectures, and proofs /
订购中
著者:
Raymond S. Nickerson.
出版社:
Psychology Press,
出版日期: c2010.
文献类型:
图书 , 索书号:
O17/N632
在馆信息
图书目录
内容简介
著者简介
7.
Mathematical logic :: with special reference to the natural numbers /
订购中
著者:
S.W.P. Steen.
出版社:
Cambridge University Press,
出版日期: c2008.
文献类型:
图书 , 索书号:
O141/S814
在馆信息
图书目录
内容简介
著者简介
8.
Discrete mathematics and its applications /
订购中
著者:
Kenneth H. Rosen.
出版社:
McGraw-Hill Higher Education,
出版日期: c2007.
文献类型:
图书 , 索书号:
O158/R813=6
在馆信息
图书目录
内容简介
著者简介
9.
How to prove it :: a structured approach /
已借7次.
订购中
著者:
Daniel J. Velleman.
出版社:
Cambridge University Press,
出版日期: 2006.
文献类型:
图书 , 索书号:
O1-0/V439=2
在馆信息
图书目录
内容简介
著者简介
10.
Computability and logic.
订购中
著者:
Burgess
John P.
Jeffrey
Richard C.
出版社:
Cambridge University Press,
出版日期: 2002.
文献类型:
图书 , 索书号:
O141/B724=4
在馆信息
图书目录
内容简介
著者简介
共 3 页
首页
<上一页
1
2
3
下一页>
尾页>>