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

数理逻辑, 胡耀鼎, 张清宇著
ISBN:	价格：￥2.10
语种:	chi
题名:	数理逻辑 / 胡耀鼎, 张清宇著 ,
出版发行:	出版地：北京出版社：中国标准出版社出版日期： 1985.3
载体形态:	263页 19厘米
附注内容:	中央电视台电视讲座教材。
摘要:	介绍数理逻辑的基础知识, 重点介绍自然推理系统。
主题:	数理逻辑
中图分类:	O141 版次： 3
主要著者:	胡耀鼎著
主要著者:	张清宇著
索书号	O141/21
标签:	没有标签
随书附盘：
相关主题:	符号主义定理证明无限逻辑逻辑推理自然推导法重写规则法命题逻辑代数逻辑模糊逻辑模态逻辑数学归纳法更多...
相关资源:
分享资源:	分享到... 新浪微博豆瓣腾讯微博 Qzone

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

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

HEA|  |01018nam0 2200265   45  
001|  |0192004446
010|  |□d￥2.10
091|  |□aCN□b15169.3-347
100|  |□a19940604d1985    mk y0chiy0121    ea
101|0 |□achi
105|  |□ay   z   000yy
106|  |□ar
200|10|□a数理逻辑□f胡耀鼎, 张清宇著
210|  |□a北京□c中国标准出版社□d1985.3
215|  |□a263页□d19厘米
300|  |□a中央电视台电视讲座教材。
330|  |□a介绍数理逻辑的基础知识, 重点介绍自然推理系统。
606| 0|□a数理逻辑
690|  |□aO141□v3
701| 0|□a胡耀鼎□4著
701| 0|□a张清宇□4著
801| 0|□aCN
905|  |□aMT□fO141/21□s3□kw□b0016346□t-
   |  |1269363□kj□b0011103□t1269361□k-
   |  |j□b0011104□t1269362
908|  |□a0016346□b128279□cMT□d0□e2□fO-
   |  |141/21□gMT□hyt□i□j2.1□k□l1□m□-
   |  |n0□o平装□p1269363□q1990-01-01□r2-
   |  |.1□t□u□v999_CN01□w1990-01-01□y订购□zyt
908|  |□aM0016346□b1900070948□cMT□d□e-
   |  |2□fO141/21□gMT□hyt□i□j2.1□k□l-
   |  |1□m□n□o平装□p□q1990-01-01□r□t□u□-
   |  |v999_CN01□w1990-01-01□y□zyt

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

数理逻辑, 胡耀鼎, 张清宇著