Title: Xing shi luo ji ji chu zhi shi
Subjects: Symbolic and mathematical Logic