Computability and Mathematical Logic (Fourth Editi...

Modal logic

阿斯葛德国不是方式第一吃功夫地方放的非比寻常投入发后代人话题负电荷地方当然好突然投影机如何认识他

这本书关于递归函数，是数理逻辑中的递归论的部分。 对于从事可计算性方面的研究很有参考价值

这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识，很有参考价值。