Herbert B.Enderton,哈佛大学博士,师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材elements of set theory(影印版已经由人民邮电出版社出版)和linear algebra。
发表于2025-02-02
数理逻辑 2025 pdf epub mobi 电子书
用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
图书标签: 数理逻辑 数学 逻辑 逻辑学 计算机 计算机科学 数学基础 经典
《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
太抽象了!
评分上课的时候读过这本书 可以作为计算机专业的数理的入门书籍 没有数学专业的数理逻辑那么难懂
评分只看了下一阶逻辑
评分有很好的符号表可以查
评分有很好的符号表可以查
数理逻辑 2025 pdf epub mobi 电子书