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

逻辑演算, 刘壮虎著
ISBN:	7-5004-1425-0 价格：￥9.00
语种:	chi
题名:	逻辑演算 / 刘壮虎著 ,
出版发行:	出版地：北京出版社：中国社会科学出版社出版日期： 1993.12
载体形态:	200页 20cm
附注内容:	受国家社会科学基金资助
摘要:	主要介绍古典逻辑演算的公理系统、自然推演系统和非古典逻辑演算系统。
主题:	命题演算
主题:	谓词演算
中图分类:	O141.1 版次： 3
主要著者:	刘壮虎著
索书号	O141.1/1
标签:	没有标签
随书附盘：
相关主题:	米库辛斯基算子演算谓词演算命题演算类演算
相关资源:
分享资源:	分享到... 新浪微博豆瓣腾讯微博 Qzone

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

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

HEA|  |01096nam3 2200289   45  
001|  |0195002901
010|  |□a7-5004-1425-0□d￥9.00
100|  |□a19950117d1993    em y0chiy0121    ea
101|0 |□achi
102|  |□aCN□b110000
105|  |□ay   z   000yy
106|  |□ar
200|10|□a逻辑演算□f刘壮虎著
210|  |□a北京□c中国社会科学出版社□d1993.12
215|  |□a200页□d20cm
225|2 |□a现代逻辑丛书□f王宪钧主编
300|  |□a受国家社会科学基金资助
330|  |□a主要介绍古典逻辑演算的公理系统、自然推演系统和非古典逻辑-
   |  |演算系统。
410| 0|□120010□a现代逻辑丛书
606|  |□a命题演算
606|  |□a谓词演算
690|  |□aO141.1□v3
701| 0|□a刘壮虎□4著
801| 0|□aCN
905|  |□aMT□fO141.1/1□s2□kj□b1716592□-
   |  |kw□b1716593
908|  |□a1716593□b9598□cMT□d0□e2□fO14-
   |  |1.1/1□gMT□hyt□i□j9.0□k□l1□m□n-
   |  |0□o平装□p0□q1990-01-01□r9.0□t□u□-
   |  |v999_CN01□w1990-01-01□y订购□zyt
908|  |□aM1716593□b1900096097□cMT□d□e-
   |  |2□fO141.1/1□gMT□hyt□i□j9□k□l1-
   |  |□m□n□o平装□p□q1990-01-01□r□t□u□v-
   |  |999_CN01□w1990-01-01□y□zyt

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

逻辑演算, 刘壮虎著