| 逻辑课程平台 Platform for Logic Courses 清华大学 2010年秋季学期 Tsinghua University, Autumn 2010 |
| 欢迎大家在本学期选修我开设的逻辑课程. 我将会在这个平台发布与课程相关的信息、通知等，希望大家关注。 有问题，请联系 fenrong AT mail.tsinghua.edu.cn. |
| 清华大学 2010年春季学期 Tsinghua University, Spring 2010 |
| 清华大学 2009年秋季学期 Tsinghua University, Autumn 2009 |
| 清华大学 2008年秋季学期 Tsinghua University, Spring 2008 |
| 清华大学 2008年春季学期 Tsinghua University, Spring 2008 |
