Title: Luo ji dai shu
Subjects: Algebraic logic