Title: Ke xue que zheng de luo ji yu fang fa lun
Subjects: Logic, Verification (Logic), Science, Philosophy, Methodology