7月8日至14日，清华大学-阿姆斯特丹大学逻辑学联合研究中心（简称“逻辑学研究中心”）在清华大学举办了为期一周的第四届清华逻辑暑期学校（The Fourth ...