数理逻辑

命题与谓词逻辑、量词以及离散数学中的基本证明方法。