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