广东职业技术学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:23

题名/责任者:
数理逻辑/张清宇主编 刘新文,夏素敏编
出版发行项:
北京:中国社会科学出版社,2010
ISBN及定价:
978-7-5004-8543-8/CNY24.00
载体形态项:
128页:图;24cm
个人责任者:
张清宇 (1944.4-) 主编
个人次要责任者:
刘新文 (1972-) 编
个人次要责任者:
夏素敏 (哲学) 编
学科主题:
数理逻辑-研究生-教材
学科主题:
数理逻辑
中图法分类号:
O141
一般附注:
中国社会科学院研究生重点教材
提要文摘附注:
本书介绍数理逻辑的基本内容,如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二部完全性定理以及所需的递归论内容,等等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/1 A00159368   书库 (图书定位请点击这里)    借出-应还日期: 书库
O141/1 00310595  1:1 书库 (图书定位请点击这里)    可借 书库
O141/1 00310596  1:1 书库 (图书定位请点击这里)    可借 书库
O141/1 00310597  1:1 书库 (图书定位请点击这里)    可借 书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架