Title: Cong zhe xue kan fu hao (Zhong qing nian xue zhe wen ku)
Subjects: Symbolism, Symbolic and mathematical Logic