图 书 馆《数理逻辑》
阅读次数：21
书名：数理逻辑
作者：汪芳庭
出版：中国科学技术大学出版社,2010, ISBN:9787312027086
您是：（展示时显示是您的贡献，也可为空）
验证算术题： 3 + 2 =
互动：点击添加评论与留言
热榜来源
借阅领域情况：
2025-06-11，中国科学技术大学图书馆，2025年06月 排名第 60 名
简介与推荐
【内容简介】本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一不完备性定、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都...提供了完整证明。
更多……
- 热书快递（最新上榜图书）
- 热书自选（最有个性榜单）
- 推荐专题（精选热门图书）
- 热书搜索（我有我的目标）
- 最新评论（TA们都在说..）
- 主题领域（领域分类浏览）
- 马列毛邓[1198]
- 哲学、宗教[6536]
- 社会科学总论[3561]
- 政治、法律[8149]
- 军事[474]
- 军事理论[24]
- 世界军事[75]
- 中国军事[115]
- 亚洲各国军事[14]
- 欧洲各国军事[18]
- 美洲各国军事[14]
- 战略学、战役学、战术学[131]
- 军事技术[81]
- 军事地形学、军事地理学[2]
- 经济[10065]
- 文化、科学、教育、体育[4047]
- 语言、文字[10272]
- 文学[32613]
- 艺术[8177]
- 历史、地理[6733]
- 自然科学总论[553]
- 自科理论与方法论[273]
- 科现状及发展[37]
- 自科机构、团体、会议[2]
- 自科研究方法[12]
- 自科教育与普及[105]
- 自科丛书、文集、报刊[11]
- 自科参考工具书[3]
- 自科科学调查、考察[13]
- 自然研究、自然历史[15]
- 系统科学[82]
- 数理科学和化学[6777]
- 天文学、地球科学[911]
- 生物科学[2573]
- 医药、卫生[6785]
- 农业科学[1542]
- 工业技术[21598]
- 交通运输[931]
- 航空、航天[306]
- 航空、航天技术的研究与探索[20]
- 航空[225]
- 航天（宇宙航行）[60]
- 航空、航天医学[1]
- 环境科学、安全科学[792]
- 综合性图书[336]
- 丛书[104]
- 辞典[16]
- 论文集、全集、选集、杂著[105]
- 年鉴、年刊[3]
- 期刊、连续性出版物[12]
- 图书目录、文摘、索引[96]
- 热书分布（我有我的选择）
- 图书导读
- 开放利用
- 使用说明
-
. 点击封面或书名，看图书详情、评论留言、热榜来源、简介与推荐等信息。
. 若该书本馆有纸本，点击“××馆藏”查看该馆馆藏情况。
. 在“图书详情”页面，点击“热榜来源”下的日期，能直接访问来源网站的图书详情。
nbt.edu.cn