Title: Long shang xue ren wen cun
Subjects: Symbolic and mathematical Logic, Research