包邮图式逻辑

前言 第1章 逻辑图：从古典到形式化 §1．1 古典形式：欧拉图和文恩图 §1．2 里程碑：皮尔士一文恩图和皮尔士存在图 §1．3 图式逻辑：概念的提出 第2章 欧拉图 §2．1 概述 §2．2 欧拉图理论 §2．3 可判定性和内插性 §2．4 一个扩张：状态图 第3章 文恩图 §3．1 概述 §3．2 皮尔士的批评 §3．3 皮尔士一文恩图 §3．4 图形的数量方面 §3．5 文恩图理论 §3．6 可判定性内插性和可定义性 §3. 7 欧拉图和文恩图：余论 第4章 图形的表达能力 §4．1 文恩图及其扩展 §4．2 欧拉一文恩图理论 §4．3 图一式理论 第5章 皮尔士图 §5．1 概述 §5．2 判定问题 §5．3 形式理论 附录 符号逻辑(查尔斯·s．皮尔士) 参考文献 索引