々耀々

可计算性与数理逻辑第四版中文版

Computability and Mathematical Logic (Fourth Edition) (Chinese version)

模态逻辑数理逻辑

Modal logic

OpenGl编程小实例

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

编译原理课程设计Java版本

萨菲瓦房问题各方而问题szcfsafcs sdf er sdfvsf 设备的私人银行的认购多少 辅导他还不发达地方地方还不发达 幅度还不发达飞大发光火的

递归函数和可计算性理论

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

面向科学的数理逻辑

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