对不起对不起，
如果是计算机系用的《数理逻辑》，
你当然学过，我相信你也非常熟悉。
不仅仅是你，就这个版上学过的人也不少。

但是，我显然不是指的这个计算机系用的《数理逻辑》啊，老图！

【 在 qtpr 的大作中提到: 】
: 我懒得理偏执武断的人
:
--
FROM 182.148.74.*