文件名称:Propositional and Predicate Calculus: A Model of Argument
文件大小:2.94MB
文件格式:PDF
更新时间:2013-01-31 13:30:55
propositional logic; predicate logic
这是一本比较系统的介绍mathematical logic 的书。
文件名称:Propositional and Predicate Calculus: A Model of Argument
文件大小:2.94MB
文件格式:PDF
更新时间:2013-01-31 13:30:55
propositional logic; predicate logic
这是一本比较系统的介绍mathematical logic 的书。