Title: Luo ji ke xue gang yao
Subjects: Logic