bibliographic details : 趣味逻辑学