Title: Han yu luo ji xue
Subjects: Logic