|
题名:
|
推理与证明: 现代逻辑的技巧 / (日)内井〓七 , |
|
ISBN:
|
7-300-00408-3 价格： 2.15 |
|
载体形态:
|
176页 20厘米 |
|
出版发行:
|
出版地： 北京 出版社： 中国人民大学出版社 出版日期： 19880101 |
|
内容提要:
|
本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。 |
|
主题词:
|
推理-数理逻辑 |
|
中图分类法:
|
B812 版次： |