Index of logic/proof-theory/yu/2017
[lecture-01]预备知识-逻辑和证明系统-极小、直觉主义、古典的命题逻辑的公理系统-可靠性和完全性.pdf
[special-01]IPC-can-not-derive-Peirce-law-and-law-of-excluded-middle-pro-edition.pdf
index.html