网站首页
交通运输
军事
农业科学
医药卫生
历史地理
哲学宗教
天文地球
工业技术
政治法律
数理化
文化科学教育体育
文学
环境安全
生物
社会科学
经济
自然科学
航空航天
艺术
语言文字
马列毛邓
综合图书
其他书籍
外文
《数理逻辑 证明及其限度》PDF电子版
购买点数:
10
点
作 者:
郝兆宽
杨睿之
杨跃著
出 版 社:上海:复旦大学出版社
出版年份:2014
ISBN:9787309110258
标注页数:249 页
PDF页数:265页
MD5值:1a570464d1cdbcf8fba2f6de14d28896
图书介绍:本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起,更多地介绍语义部分并强调语法语义的统一。此外,本书的另一个重要目的是为了后继课程做准备,因此也是引学习者入数理逻辑之门的导论。
购买此书PDF格式电子书
压缩包BT下载地址
(34 MB)