图书标签: 数理逻辑 数学 逻辑学 邏輯學 计算科学 数理逻辑(修订版) 计算机 英文原版
发表于2025-02-13
数理逻辑 pdf epub mobi txt 电子书 下载 2025
比较适合不做数理逻辑方面研究的人去了解数理逻辑核心的一些基本内容,不是太深,习题偏少对自学不太方便,有些证明不是特别严格(比如谓词逻辑完全性定理有个别地方),但可读性高。
评分入门书,精简扼要。
评分我们的教材,不错
评分入门书,精简扼要。
评分研究数学的数理逻辑 此书甚好 讲的比老师好 缺点是容易从此自学两周后落下进度 /* 这些年我们用豆瓣来整理学业 */
hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
评分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
评分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
评分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
评分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
数理逻辑 pdf epub mobi txt 电子书 下载 2025