Mathematical_Logic_NJUCS 南京大学计算机系数理逻辑课程资料 仅限于学习交流，禁止用于商业用途。由于作者水平有限，错误在所难免，恳请指正。 传播此文档时请遵守 https://creativecommons.org/licenses/by-nc-sa/4.0/