数学逻辑入门（Vilnis Detlovs等）Introduction to Mathematical Logic (Vilnis Detlovs, et al)

【文件属性】：

文件名称：数学逻辑入门（Vilnis Detlovs等）Introduction to Mathematical Logic (Vilnis Detlovs, et al)

文件大小：1.17MB

文件格式：PDF

更新时间：2022-11-15 21:48:38

数学

本书探讨了数学逻辑的主要主题。 它涵盖命题逻辑，一阶逻辑，一阶数论，公理集理论和可计算性理论。 讨论Gödel，Church，Kleene，Rosser和Turing的主要结果。