Title: Xing shi luo ji yu shu li luo ji bi jiao yan jiu
Subjects: Symbolic and mathematical Logic, Logic