bibliographic details : 数理逻辑、集合