qqttggbb

Subsystems of Second Order Arithmetic

这本书是反推数学相关的入门经典，反推数学是数理逻辑中的一个小分支，希望过通过求得构造数学定理所需要的最弱公理系统来研究定理之间的等价性和难证性。

B.Grechuk.Theoremsofthe21stCentury.Volume1

介绍了一票21世纪重要的数学定理，是比较硬核的数学科普。知乎上有人推荐了哦～～

LeonidLibkinElementsofFiniteModelTheoryWith24Figures

有限模型论！！有限模型论！！有限模型论！！重要的事情重复三遍。在计算复杂度里面有应用，或者说这应当是理论计算机应学的内容。

RecursivelyEnumerableSetsandDegreesSoare

Recursively Enumerable Sets and Degrees by Rovert I. Soare。递归论的书籍，Soare的，从djvu转过来的，有可能有误。经典的教材

TurtleGeometryTheComputerasaMediumforExploringMathematics

海龟编程的概念可以百度，实际上和OpenGL画笔很像。LOGO是为海龟编程而开发的语言（PS 很多语言中应当也有Turtle库，例如Python），而这本书则用turtle programming讲授几何学与拓扑学中各种有趣的知识。

可计算性理论张鸣华

《可计算性理论》张鸣华，内容丰富。书价1.50元，扫描价32.0元。因为是比较基础的理论所以不过时。惜其绝版。并不知道其内容与现存的莫绍揆的递归论相比如何，欢迎评论区评论。

John Longley Dag Normann auth._Higher_Order Computability2015

Theory and Applications of Computability系列书本中的第3本。可计算性理论的高级专题！