书目详细信息
： 推理与证明 : 现代逻辑的技巧
书目信息 机读格式(MARC)
| ISBN/价格： | 7-300-00408-3:$2.15 |
|---|---|
| 作品语种： | chijpn |
| 出版国别： | CN 110000 |
| 题名责任者项： | 推理与证明 : 现代逻辑的技巧/.内井惣七著/.陈祖军译 |
| 出版发行项： | 北京:,中国人民大学出版社:,1988.10 |
| 载体形态项： | 176页:;+20厘米 |
| 提要文摘： | 本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。 |
| 题名主题： | 推理 数理逻辑 |
| 题名主题： | 推理 |
| 题名主题： | 数理逻辑 |
| 题名主题： | 证明 数理逻辑 |
| 题名主题： | 证明 |
| 中图分类： | B812 |
| 个人名称等同： | 内井惣七 著 |
| 个人名称次要： | 陈祖军 译 |