无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

推理与证明:现代逻辑的技巧/(日)内井〓七著 陈祖军等译

出版发行项:

北京:中国人民大学出版社,1988.10

ISBN及定价:

7-300-00408-3/$2.15

载体形态项:

176页;20厘米

编目员补充题名:

推理 证明 现代逻辑 技巧

个人责任者:

内井〓七 著

个人次要责任者:

陈祖军 译

学科主题:

推理-数理逻辑

学科主题:

数学逻辑-推理

学科主题:

证明-数理逻辑

学科主题:

数理逻辑-证明

中图法分类号:

B812

提要文摘附注:

本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。

豆瓣简介：