Logic workshop in Nanjing

Nanjing University

10-28 May, 2021