书目详细信息 : 布尔函数间接构造的研究