Tsinghua University – University of Amsterdam Joint Research Centre for Logic

The 6th Tsinghua Logic Summer School Registration