bibliographic details : 逻辑学基础