标签: 用空格间隔多个标签,如:小说文学余秋雨

数学家的逻辑, (英)A.G.哈密尔顿著
ISBN:	7-100-00146-3 价格：￥3.40
语种:	chi
题名:	数学家的逻辑 / (英)A.G.哈密尔顿著 , 骆如枫等译
出版发行:	出版地：北京出版社：商务印书馆出版日期： 1989
载体形态:	294页 20cm
主题:	数理逻辑
中图分类:	O141 版次：
主要著者:	哈密尔顿著
次要著者:	骆如枫译
索书号	O141/31
标签:	没有标签
随书附盘：
相关主题:	符号主义定理证明无限逻辑逻辑推理自然推导法重写规则法命题逻辑代数逻辑模糊逻辑模态逻辑数学归纳法更多...
相关资源:
分享资源:	分享到... 新浪微博豆瓣腾讯微博 Qzone

馆藏信息
预订信息
虚拟书架
marc信息
豆瓣书评
图书目录
试读信息
内容简介
著者简介

限定所在馆: 限定所在馆藏地点: 限定馆藏状态:

HEA|  |00988nam0 2200253   45  
001|  |0149052899
005|  |1920010726150108
010|  |□a7-100-00146-3□d￥3.40
100|  |□a20010430d1989    em y0chiy0121    ea
101|1 |□achi□ceng
102|  |□aCN□b110000
105|  |□ay   z   000yy
106|  |□ar
200|10|□a数学家的逻辑□Ashu xue jia de luo j-
   |  |i□f(英)A.G.哈密尔顿著□g骆如枫等译
210|  |□a北京□c商务印书馆□d1989
215|  |□a294页□d20cm
606|  |□a数理逻辑
690|  |□aO141
701| 1|□a哈密尔顿□bA.G.□4著□Aha mi er dun
702| 0|□a骆如枫□4译□Aluo ru feng
801| 0|□aCN□b福建省图书馆
905|  |□aMT□fO141/31□b0131221□t159651-
   |  |1□kwe□b0398043□t1596512□kj
908|  |□a0131221□b361252□cMT□d0□e2□fO-
   |  |141/31□gMT□hyt□i□j3.4□k□l1□m□-
   |  |n□o平装□p1596511□q2002-05-31□r3.-
   |  |4□t□u□v999_CN01□w2002-05-31□y订购□zyt
908|  |□aM0131221□b1900006456□cMT□d□e-
   |  |2□fO141/31□gMT□hyt□i□j3.4□k□l-
   |  |1□m□n□o平装□p□q2002-05-31□r□t□u□-
   |  |v999_CN01□w2002-05-31□y□zyt

名称:
描述:
公开/私有:	公开私有

数学家的逻辑, (英)A.G.哈密尔顿著