Title: Shu li luo ji yin lun
Subjects: Symbolic and mathematical Logic