自選集
-
G.E.B. —— A Mental Space Odyssey
评《哥德尔、埃舍尔、巴赫——集异璧之大成》
-
实质蕴涵的实质是单调推理
-
量子力学量力学
-
最潮最火的类型论
-
都怪 Debian（指）