Predicate Logic Reasoning and Validation Based on Computer

• 谓词逻辑推理与机器证明