书目详细信息 : 量子力学形式逻辑与物质基础探析