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

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
面向计算机科学的数理逻辑
    
 
作者: 陆钟万 著
分册:  
出版信息: 北京   科学出版社  2002.01
页数: 263页
开本: 21cm
丛书名: 中国科学院研究生教学丛书
单 册:
中图分类: O141
科图分类:
主题词: 数理逻辑--研究生--教材
电子资源:
ISBN: 7-03-009657-6
000 00958nam 2200289 450
001 0104000024
005 20051124115123.1
010    @a7-03-009657-6@dCNY19.00
100    @a20081202d2002 ekmy0chiy0120 ea
101 0  @achi
102    @aCN@b110000
105    @ay z 000yy
106    @ar
200 1  @a面向计算机科学的数理逻辑@AMian Xiang Ji Suan Ji Ke Xue De Shu Li Luo Ji@f陆钟万著@FLu Zhong Wan Zhu
205    @a第2版
210    @a北京@c科学出版社@d2002.01
215    @a263页@d21cm
225 2  @a中国科学院研究生教学丛书
300    @a普通高等教育“九五”国家级重点教材
330    @a本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容, 包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
410  0 @12001 @a中国科学院研究生教学丛书
606 0  @a数理逻辑@x研究生@j教材
690    @aO141@v4
701  0 @a陆钟万@ALu Zhong Wan@4著
801  0 @aCN@bHTDF@c20081202
905    @aBZT@dO141@e2@f10
906    @dCNY19.00@n0@r1
    
    面向计算机科学的数理逻辑/陆钟万著.-第2版.-北京:科学出版社,2002.01
    263页;21cm.-(中国科学院研究生教学丛书)
    普通高等教育“九五”国家级重点教材
    
    ISBN 7-03-009657-6:CNY19.00
    本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容, 包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
●
相关链接 在五车中查询图书 在当当中查询图书 在豆瓣中查询图书


正题名:面向计算机科学的数理逻辑     索取号:O141/2         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 700732   2000700732   中心书库北库/ 北库022架B面3列4层8/ [索取号:O141/2] 在馆    
2 700733   2000700733   中心书库北库/ 北库022架B面3列4层9/ [索取号:O141/2] 在馆    
3 700734   2000700734   中心书库北库/ 北库022架B面3列4层10/ [索取号:O141/2] 在馆    
4 700735   2000700735   中心书库北库/ 北库022架B面3列4层13/ [索取号:O141/2] 在馆    
5 700736   2000700736   中心书库北库/ 北库022架B面3列4层14/ [索取号:O141/2] 在馆    
6 700737   2000700737   中心书库北库/ 北库022架B面3列4层17/ [索取号:O141/2] 在馆    
7 700738   2000700738   中心书库北库/ 北库022架B面3列4层16/ [索取号:O141/2] 在馆    
8 700739   2000700739   中心书库北库/ 北库022架B面3列4层15/ [索取号:O141/2] 在馆    
9 700740   2000700740   中心书库北库/ 北库022架B面3列4层11/ [索取号:O141/2] 在馆    
10 700741   2000700741   中心书库北库/ 北库022架B面3列4层12/ [索取号:O141/2] 在馆    
山东省滨州职业学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有