数理逻辑

《数理逻辑十二讲》- NJU
数理逻辑 - NJU
修改记录
v0: 上课笔记

直接看教材还是有点难于理解