中间逻辑 关于基本集合论,一阶逻辑和哥德尔不完备性定理的教科书,是根据开放逻辑项目为麦吉尔的中级逻辑课程开发的。 在下载 。 该存储库/目录仅包含排版教科书“中间逻辑”所需的LaTeX文件和插图,而后者又需要“ 。 要安装和编译: 从下载/安装Open Logic文本,如果需要,还包括。 导航到子目录courses/ 将这个存储库的内容放到它的一个子目录中,例如courses/intermediate-logic 。 如果使用git ,则应该这样做: # git clone https://github.com/OpenLogicProject/OpenLogic.git #