Title: Ming xue gang yao
Subjects: Logic