• 电脑的基本特征
  • 形成规则的电脑
  • 在PC有效性
  • Interdefinability运营商
  • 公理化的电脑

• 特殊的电脑系统
  • 部分系统的电脑
  • 非标准版本的电脑

• 自然演绎法电脑

• 较低的谓词演算
  • 在LPC的有效性
  • 在LPC的逻辑操作
  • 二元关系的分类
  • 公理化的LPC的
  • 语义场景
  • 特殊的LPC的系统
  • 明确的描述

• 高阶谓词结石

• 模态逻辑
  • 模态逻辑的替代系统
  • 在模态逻辑有效性

• 集理论