logicincomputerscience 英文版的计算机逻辑课的教材，全面的介绍了关于一阶逻辑，命题逻辑等等计算机形式的逻辑。很有用的。。。 大小：2.28MB | 2019-05-03 13:35:36
