Title: Jing dian luo ji yu zhi jue zhu yi luo ji
Subjects: Intuitionistic mathematics, Symbolic and mathematical Logic