Title: Shi yong li ze xue
Subjects: Logic