Fudan Logic Student Seminar 2019

December 3

Presburger arithmetic

报告人：杨京楷；主持人：包佳齐

Time: 13:30 - 14:30. Location: HGW2403.

On the strength of $\textrm{RT}^2_2$

报告人：张子婷；主持人：寇亮

Time: 14:30 - 15:30. Location: HGW2403.