[夸克网盘]数理逻辑基础.上册? PDF

作者：胡世华，陆钟万著

页数：228

出版社：科学出版社

出版日期：2015

ISBN：9787030464217

电子书格式：PDF

PDF下载地址

资源编号：391750284.pdf

解压密码：www.teccses.org

1：夸克网盘下载地址（推荐）

2：百度网盘备用地址（推荐）

3：如果以上网盘链接被和谐，打开此链接，看是否有类似以下用红圈圈出来的，也能下载。

内容简介

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