课程编号:081200D20(本科:22011510)
课程教师:梁红瑾
课程主页:https://cs.nju.edu.cn/hongjin/teaching/semantics/
总体评价:数理逻辑2.0