• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
数理逻辑基础
    
 
作者: 胡世华 , 陆钟万 著
分册: 下册  
出版信息: 北京   科学出版社  2015.11
页数: 229-434页
开本: 24cm
丛书名: 现代数学基础丛书
单 册:
中图分类: O141
科图分类:
主题词: 数理逻辑--shu li luo ji
电子资源:
ISBN: 978-7-03-046422-4
000 01196oam 2200277 450
001 1769151797
005 20171213094118.01
010    @a978-7-03-046422-4@dCNY98.00
100    @a20170721d2015 em y0chiy0121 ea
101 0  @achi
102    @aCN@b110000
105    @aa a 000yy
200 1  @a数理逻辑基础@Ashu li luo ji ji chu@h下册@f胡世华, 陆钟万著
210    @a北京@c科学出版社@d2015.11@h2016年6月印刷
215    @a229-434页@c图@d24cm
225 0  @a现代数学基础丛书@Axian dai shu xue ji chu cong shu@e典藏版@v2@f主编程民德
320    @a有书目 (第432-434页)
330    @a本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容。这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为下册, 包括第三、四、五章和两个附录。内容有: 重言式、可靠性和完备性、形式数学系统等。
333    @a可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书, 或供有关工作人员参考
410  0 @12001 @a现代数学基础丛书 (典藏版)@v2@f主编程民德
606 0  @a数理逻辑@Ashu li luo ji
690    @aO141@v5
701  0 @a胡世华@Ahu shi hua@4著
701  0 @a陆钟万@Alu zhong wan@4著
801  0 @aCN@bSQNC@c20171212
905    @a241250@dO141@e7B:2
    
    数理逻辑基础.下册/胡世华, 陆钟万著.-北京:科学出版社,2015.11(2016年6月印刷)
    229-434页:图;24cm.-(现代数学基础丛书:典藏版;2/主编程民德)
    使用对象:可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书, 或供有关工作人员参考
    
    ISBN 978-7-03-046422-4:CNY98.00
    本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容。这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为下册, 包括第三、四、五章和两个附录。内容有: 重言式、可靠性和完备性、形式数学系统等。
●
相关链接


正题名:数理逻辑基础     索取号:O141/7B:2         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 1727849   217278498   样本书库/4110040501/ [索取号:O141/7B:2] 在馆    
2 1727850   217278504   理科库/3110510302/ [索取号:O141/7B:2] 在馆    
3 1727851   217278513   理科库/3110510302/ [索取号:O141/7B:2] 在馆    
商丘师范学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有