命题演算 电子书下载

原名:Propositional Calculus
作品简介:[恩德顿]赫伯特恩德顿：逻辑的数学导论。在命题序列演算系统 PK 中，证明中的每一行都是一个 .. 锚定完备性定理：如果序列 S 是集合 Φ 的逻辑结果……