书目详细信息 : 集论与逻辑:面向计算机科学