| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
推理与证明：现代逻辑的技巧, (日)内井 七著 |
|
|
ISBN:
|
7-300-00408-3 价格： ￥2.15 |
|
语种:
|
chi |
|
题名:
|
推理与证明 / (日)内井 七著 , 陈祖军等译 |
|
出版发行:
|
出版地： 北京 出版社： 中国人民大学出版社 出版日期： 1988.10 |
|
载体形态:
|
176页 20cm |
|
摘要:
|
突出符号逻辑的主要内容,介绍符号逻辑各种有效推理与证明方法。 |
|
其它题名:
|
现代逻辑的技巧 |
|
主题:
|
推理 |
|
主题:
|
证明 |
|
中图分类:
|
O141 版次： 2 |
|
中图分类:
|
B812 版次： 2 |
|
主要著者:
|
内井 七 著 |
|
次要著者:
|
陈祖军 译 |
|
索书号
|
O141/29 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01266nam0 2200313 45 001| |0192004441 005| |1920010622111438 010| |□a7-300-00408-3□d￥2.15 100| |□a20010430d1988 em y1chiy0121 ea 101|1 |□achi□cjpn 102| |□aCN□b110000 105| |□ay z 000yy 106| |□ar 200|10|□a推理与证明□e现代逻辑的技巧□f(日)内井 七著□g陈- | |祖军等译□Atui li yu zheng ming 210| |□a北京□c中国人民大学出版社□d1988.10 215| |□a176页□d20cm 303| |□a责任者缺字=[物(上),心] 330| |□a突出符号逻辑的主要内容,介绍符号逻辑各种有效推理与证明方- | |法。 517|1 |□a现代逻辑的技巧□Axian dai luo ji de ji qiao 606| |□a推理□b数理逻辑 606| |□a证明□b数理逻辑 690| |□aO141□v2 690| |□aB812□v2 701| 0|□a内井 七□4著□Anei jing qi 702| 0|□a陈祖军□4译□Achen zu jun 801| 2|□aCN□bMT 905| |□aMT□fO141/29□b0420555□t1588103□kj 908| |□a0016354□b135909□cMT□d0□e2□fO- | |141/29□gMT□hyt□i□j2.15□k□l1□m- | |□n0□o平装□p1588104□q1990-01-01□r- | |2.15□t□u□v999_CN01□w1990-01-01□y订购□zyt 908| |□aM0016354□b1900015703□cMT□d□e- | |2□fO141/29□gMT□hyt□i□j2.15□k□- | |l1□m□n□o平装□p□q1990-01-01□r□t□u- | |□v999_CN01□w1990-01-01□y□zyt