[百度网盘]数理逻辑基础.上册? PDF

[百度网盘]数理逻辑基础.上册? PDF

  • 作者 胡世华，陆钟万著
  • 出版社 科学出版社
  • 出版日期 2015
  • ISBN 9787030464217
阅读 499
评论 0

解压密码：6666

[主盘]夸克网盘 [备盘]百度网盘

内容简介

本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容, 这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为上册。

自然科学

猜你喜欢

返回首页

发表评论