Logicians in Nanjing