Title: Jian ming luo ji xue
Subjects: Logic