书目详细信息 : 吴允曾选集:数理逻辑与计算机科学