Title: Shu li luo ji yu ji qi zheng ming
Subjects: Machine theory, Symbolic and mathematical Logic