数理逻辑基础.上册?

作者：胡世华，陆钟万著

页数：228

出版社：科学出版社

出版日期：2015

ISBN：9787030464217

电子书格式：pdf/epub/txt

内容简介

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