bibliographic details : 逻辑研究