【文件属性】：
文件名称：中级逻辑：McGiill的Phil 310教材，中级逻辑
文件大小：200KB
文件格式：ZIP
更新时间：2021-02-15 17:14:01
TeX
中间逻辑
关于基本集合论，一阶逻辑和哥德尔不完备性定理的教科书，是根据开放逻辑项目为麦吉尔的中级逻辑课程开发的。
在下载 。
该存储库/目录仅包含排版教科书“中间逻辑”所需的LaTeX文件和插图，而后者又需要“ 。
要安装和编译：
从下载/安装Open Logic文本，如果需要，还包括。
导航到子目录courses/
将这个存储库的内容放到它的一个子目录中，例如courses/intermediate-logic 。
如果使用git ，则应该这样做：
# git clone https://github.com/OpenLogicProject/OpenLogic.git
# cd OpenLogic/courses
# git clone https://github.com/rzach/intermediate-logic.git
# cd ../assets
# g
【文件预览】：
intermediate-logic-master
----il-derivations.tex(16KB)
----olprevision.tex(38B)
----il-screen.tex(2KB)
----il-print-cover.tex(1KB)
----includeonly.tex(0B)
----il.xmpdata(338B)
----assets()
--------ti-print.pdf(13KB)
--------ucarts-print.pdf(13KB)
--------remix.pdf(1KB)
--------sa.pdf(2KB)
--------aboer-color.png(144KB)
--------by.pdf(1KB)
--------cc.pdf(2KB)
----README.md(2KB)
----Makefile(481B)
----il-metadata.tex(324B)
----il-envs.sty(45B)
----il-config.sty(1KB)
----.gitignore(1KB)
----il-print.tex(933B)
----il.tex(2KB)
----include()
--------summary-5.tex(3KB)
--------preface.tex(9KB)
--------summary-15.tex(3KB)
--------summary-14.tex(2KB)
--------summary-11.tex(2KB)
--------summary-3.tex(1KB)
--------summary-sc.tex(2KB)
--------summary-1.tex(1KB)
--------summary-8.tex(2KB)
--------summary-4.tex(2KB)
--------summary-6.tex(2KB)
--------summary-2.tex(2KB)
--------summary-12.tex(3KB)
--------summary-9.tex(2KB)
--------summary-17.tex(2KB)
--------summary-13.tex(2KB)
--------summary-16.tex(3KB)