涵盖了命题和谓词演算中的所有基本材料。 应用包括通过紧性定理以及生成弱超字和超逻辑运算符获得的非标准模型。