bibliographic details : 量子力学形式逻辑与物质基础探析.上册