Yi shu yu ke xue/. Juan san. Ji shu ke xue lun : Ying yong yu lin xue/. Shang juan. Ying yong yu lin xue/. Xia juan. Ying yong yu lin xue/. Zhong juan. Pin kun de zhe xue/. Di yi juan.