Proof-Theory-Notes-zh_CN

这是我上清华大学俞珺华老师讲授的证明论课程（2017年春季）时整理的笔记，主要以中文书写。以中文作为元语言（认真脸）。

-

These are my notes for Proof Theory course (2017 Spring), instructed by Dr. Junhua Yu, THU, mainly written in Chinese (as metalanguage lol).

Contents

此处给出到仓库中 .tex 源文件或源文件目录的链接；生成的 .pdf 见我网站，或您自己用 XeLaTeX 编译*.

• *TODO makefile（LaTeX 有类似 Python 的 Pip 项目的 requirements.txt 、Haskell 的 Stack 项目的 package.yaml 的描述需要哪些宏包的东西吗？））

进行中

• 番外一：证明直觉主义命题逻辑不能导出Peirce律和排中律-精简版 src [几乎最终版]

已完成

• 第一次课：预备知识，逻辑和证明系统，极小、直觉主义、古典的命题逻辑的公理系统、可靠性和完全性 src