《数学的逻辑基础和计算复杂性——数学结构》：抽象代数

https://site.douban.com/145723/widget/notes/18386132/note/652380272/

2018-01-07 18:09:29

 

《浅谈类型论——基本概念》。
内容蓝本，以上面介绍的第一本和第六本为主，因为这两本都面向绝对的初学者，语言通俗易懂，对读者的数学要求最低。