|
题名:
|
推理与证明
/
(日)内井〓七著
,
陈祖军等译
|
|
ISBN:
|
7-300-00408-3
价格：
CNY2.15
|
|
语种:
|
chi
|
|
载体形态:
|
176页
20cm
|
|
出版发行:
|
出版地：
北京
出版社：
中国人民大学出版社
出版日期：
1988.10
|
|
内容提要:
|
本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。
|
|
主题词:
|
推理
数理逻辑
|
|
主题词:
|
证明
数理逻辑
|
|
中图分类法:
|
B812
版次：
4
|
|
其它题名:
|
现代逻辑的技巧
|
|
主要责任者:
|
内井〓七
著
|
|
次要责任者:
|
陈祖军
译
|
|
索书号:
|
2
|