大拱桥--暨南大学学生门户 » 图书馆 » 逻辑学(论理学) » 现代逻辑
名称 现代逻辑
索引号 B81/894
分类号 B81
B81(逻辑学(论理学))
B(哲学、宗教)
作者 让－布莱斯 格里兹、李铴澈、
出版社 北京 : 社会科学文献出版社, 1989
ISBN 7-80050-085-3
页数 177页 ; 19cm
价格 CNY1.95
标签
简介
注解 本书重点放在证明的方法上，分别讨论命题逻辑和谓词逻辑的演绎规则，命题逻辑的真值表方法与公理化和 谓词逻辑的公理化・