数学逻辑入门(Vilnis Detlovs等)Introduction to Mathematical Logic (Vilnis Detlovs et al)
本书探讨了数学逻辑的主要主题。它涵盖命题逻辑，一阶逻辑，一阶数论，公理集理论和可计算性理论。讨论Gödel，Church，Kleene，Rosser和Turing的主要结果。
用户评论