参考教材：屈婉玲, 耿素云, 张立昂. 离散数学[M]. 第二版. 北京: 高等教育出版社, 2015.

1. 数理逻辑