大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 数理逻辑引论 [电子资源]
名称 数理逻辑引论 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 1991
ISBN 7560303528
页数 237页
价格
标签
简介
注解 本书内容包括∶数理逻辑的两个部分,证明论、模型论。讨论了一阶理论的语法语义、一阶理论的特征问题及其等价定义等。