教材

Sets, Logic, Computation: An Open Introduction to Logic

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

Open Logic Project