名称 模型论基础
索引号 O141.4/871
分类号 O141.4
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 王世强、
出版社 北京 : 科学出版社, 1987
ISBN 7-03-005995-6
页数 241页 ; 20cm
价格 CNY15.00
标签 数理逻辑、模型论、数学、逻辑学、语言学、王世强、机器证明、数学书、
简介
注解 有书目。
书籍简介

《模型论基础》介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。