考研共济网,考研咨询,硕士研究生招生简章,研究生录取信息
考研书城 会员服务 辅导报名
常见问题 购买流程 在线支付指南
购买须知 定单跟踪 缺书登记
会员名: 密码: 免费注册 站点导航 设为首页
硕士考试大纲 |考研政治书 |考研英语书 |考研数学书 |同等学力书 |在职考研书 |工程硕士书
法律硕士书 |MBA联考书 |教育硕士书 |MPA用书 |MPH用书 |会计硕士书 |考博辅导书
医学考试书 |自学考试书 |工硕新书 |法硕新书 |MBA新书 |MPA新书 |MPAcc新书
考研政治新书 |考研英语新书 |考研数学新书 |考研医学新书 |同等学力新书 |在职考研新书 |断版书公告
选择"√"选查询方式
 精确度：
书名：
作者：
出版社：
书号：
标价：
书籍销售排行榜
考研公共课书籍
专业硕士书籍
考试辅导书籍
数理逻辑引论（第2版
书 名： 数理逻辑引论（第2版）——北大名家名著文丛
作 者： 王宪钧 著
出版社： 北京大学出版社
ISBN： 7301000987
价 格： 原价：18元 优惠价：15.3元　85折书 名
出版时间： 1998
印刷时间： 印刷时间
书籍类别： book.kaoyantj.com
开 本： 　　
暂时缺货，或已改版，或者出版社断货　
书籍介绍：
内容提要：
    本书共分为三篇。第一篇共有四章,分别为真值联结词、真值函项、重言式,命题演算、命题逻辑的公理化和形式化,范式、完全性、一致性、公理的独立性,不同的命题逻辑、古典命题逻辑的不同的公理化;第二篇狭谓词逻辑,共有六章,分别为狭谓词逻辑里的形式结构,狭谓词演算,演绎定理、范式,判定问题、一致性和完全性,狭谓词逻辑和不同系统,有等词的狭谓词演算、摹状词;第三篇数理逻辑发展简述,共有六章,分别为数理逻辑发展的第一、二阶段,集合论的创建,公理方法的发展,逻辑演算,构造主义和证明论,歌德尔定理、数理逻辑发展的第三阶段。共济网021-33626039kaoyantj.com买考研书

数理逻辑基础（一阶逻辑与一阶理论）——21世纪哲学系列教材陈慕泽、余俊伟中国人民大学出版社19 元
可计算性与数理逻辑（第4版）——国外计算机科学教材系列[美]George S.Boolos、John P.Burgess、Richard C.Jeffrey 著 何自强 等译电子工业出版社32 元
数理逻辑与集合论（第2版）——清华大学计算机系列教材石纯一、王家廞清华大学出版社18 元
数理逻辑修订本A.G.Hamilton清华大学出版社26 元
可计算性与数理逻辑（第4版）英文版美 GEO电子工业出版社38 元
数理逻辑：基本原理与形式演算——信息科学与技术基础丛书李未 著科学出版社58 元
非经典数理逻辑与近似推理王国俊科学出版社25 元
数理逻辑毕富生高等教育出版社15 元
数理辩证逻辑导论赵总宽中国人民大学出版社18 元
中国法律思想史新编——北大名家名著文丛张国华 著北京大学出版社20 元
乡土中国 生育制度——北大名家名著文丛费孝通 著北京大学出版社18 元
魏晋南北朝史论集——北大名家名著文丛周一良 著北京大学出版社32 元
秦汉史——北大名家名著文丛翦伯赞北京大学出版社35 元
北大名家名著文丛——清史探微郑天挺北京大学出版社25 元
硕士研究生入学考试:线性代数.概率论与数理统计复习指南（数学三.数学四考生适用）——同济大学新编数学辅导丛书凌明娟 主编 张震峰、钱晓明 副主编同济大学出版社18 元
站点导航 | 在线支付指南 | 广告联系 | 客户服务 | 购物须知 | 购物流程 | 投诉建议 | 客户公告 | 免则条款
客户咨询： 021-33626036,33626037（售前）021-33626038,33626039（存款确认、传真及售后服务）
汇款地址： 上海杨浦区同济联合广场底楼（彰武路48号112) 黄翔 邮编：200092
门市地址： 上海杨浦区同济联合广场底楼（彰武路48号112，同济大学本部四平路校门正对面）考研共济网门市地图地图 9:00--18:00 全年无休
　　 版权所有©2000-2008 考研共济网KaoYanTJ.com  考研共济网info@kaoyantj.com