主要讲述命题逻辑和一阶谓词逻辑。


著名逻辑学家