MARC状态：订购 文献类型：中文图书 浏览次数：16
- 题名/责任者:
- 数理逻辑基础.上册/胡世华，陆钟万著
- 版本说明:
- [影印本]
- 出版发行项:
- 北京:科学出版社,2015h2016印
- ISBN及定价:
- 978-7-03-046421-7/CNY98.00
- 载体形态项:
- 228页;24cm
- 丛编项:
- 现代数学基础丛书:典藏版;1
- 个人责任者:
- 胡世华 (1912~1998) 著
- 个人责任者:
- 陆钟万 (1924~) 著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 提要文摘附注:
- 本套书分上、下两册，介绍数理逻辑的基础知识，包括逻辑演算的基本内容，这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。上册内容包括：绪论、演绎逻辑的基本规则、逻辑演算的系统特征、符号汇编。
全部MARC细节信息>>