|
题名:
|
推理与证明 tui li yu zheng ming / (日)内井〓七著 , 陈祖军等译 |
|
ISBN:
|
7-300-00408-3 价格： CNY2.15 |
|
语种:
|
chi |
|
载体形态:
|
176页 20厘米 |
|
出版发行:
|
出版地： 北京 出版社： 中国人民大学出版社 出版日期： 1988.10 |
|
内容提要:
|
本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。 |
|
主题词:
|
推理-数理逻辑 |
|
主题词:
|
数学逻辑-推理 |
|
主题词:
|
证明-数理逻辑 |
|
主题词:
|
数理逻辑-证明 |
|
中图分类法:
|
B812 版次： 1980 |
|
主要责任者:
|
内井〓七 nei jing zong qi 著 |
|
次要责任者:
|
陈祖军 chen zu jun 译 |
|
补充题名:
|
推理 证明 现代逻辑 技巧 |
|
科图分类法:
|
16.2 版次： 1974 |
|
索书号:
|
B812/4207 |