Title: Luo ji xue gang yao
Subjects: Logic