Title: Yi jie luo ji yu yi jie li lun (Xian dai luo ji cong shu)
Subjects: Symbolic and mathematical Logic