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