数理逻辑基础 | 上册

数理逻辑基础 | 上册
130311320
胡世华
现代数学基础丛书
O141
科学出版社
1981-01
1981
1981
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．上册包括绪论、第一章和第二章．绪论对数理逻辑的性质，逻辑演算的大概内容，以及阅读以后各章所需要