书籍详情

现代逻辑推理技法

现代逻辑推理技法

作者：韦泽民主编；陈慕泽等撰稿

出版社：北京师范大学出版社

出版时间：1990-06-01

ISBN：9787303008834

定价：¥5.10

内容简介

　　本书内容分五篇，有：符号语言和自然推理，逻辑筹算术、筹算术在量化逻辑中的应用，逻辑演算的应用，现代归纳法。

作者简介

暂缺《现代逻辑推理技法》作者简介

目录

暂缺《现代逻辑推理技法》目录

猜您喜欢

线性代数核心内容解析与解题指导

不同能量重离子碰撞流体力学演化源的干涉学分析

读书导航