- 题名/责任者:
- 数理逻辑基础.下册/胡世华，陆钟万著
- 版本说明:
- [影印本]
- 出版发行项:
- 北京:科学出版社,2015h2016印
- ISBN及定价:
- 978-7-03-046422-4/CNY98.00
- 载体形态项:
- 229-434页;24cm
- 丛编项:
- 现代数学基础丛书:典藏版;2
- 个人责任者:
- 胡世华 (1912~1998) 著
- 个人责任者:
- 陆钟万 (1924~) 著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 提要文摘附注:
- 本套书分上、下两册，介绍数理逻辑的基础知识，包括逻辑演算的基本内容，这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。下册内容包括：重言式、可靠性和完备性、形式数学系统、附录一是命题量词、附录二是斜形证明、符号汇编。
全部MARC细节信息>>