清华出的 数理逻辑与集合论，计算机专业研究生基础课。这本很精简，不错。