大拱桥--暨南大学学生门户 » 图书馆 » 逻辑学(论理学) » 现代逻辑推理技法
名称 现代逻辑推理技法
索引号 B81/907
分类号 B81
B81(逻辑学(论理学))
B(哲学、宗教)
作者
出版社 北京 : 北京师范大学出版社, 1990
ISBN 7-303-00883-7
页数 409页 ; 19cm
价格 CNY5.10元
标签
简介
注解 本书内容分五篇，有：符号语言和自然推理，逻辑筹 算术、筹算 术在量化 逻辑中的应用，逻辑演算的应用，现代归纳法・