Title: Luo ji xue dui hua
Subjects: Miscellanea, Symbolic and mathematical Logic