Tsinghua Logic

There are currently two book series:

Welcome to Tsinghua Logic