书目详细信息 : 非交换剩余格上的滤子和态理论及其应用