bibliographic details : 逻辑代数