书籍 · 资源记录

Sets, Logic, Computation: An Open Introduction to Logic

开放逻辑教材，系统介绍集合、关系、函数、命题逻辑、一阶逻辑、证明系统与归纳。