Tsinghua University – University of Amsterdam Joint Research Centre for Logic

SPONSORS

Tsinghua University

University of Groningen