Title: Duo zhi luo ji de fang fa he li lun
Subjects: Many-valued logic