书目详细信息 : 极小能动性逻辑及其应用研究