这是一本比较系统的介绍mathematical logic 的书。
2019-12-21 20:25:50 2.94MB propositional logic; predicate logic
1