十一月计划

二刷 《哥德尔、艾舍尔、巴赫 集异壁之大成》

《哥德尔证明》

《符号逻辑讲义》

《图灵传》

可能有点贪多了，尽力吧