杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑导引/冯琦编著

出版发行项:

北京:科学出版社,2017

ISBN及定价:

978-7-03-054579-4/CNY198.00

载体形态项:

xiii, 510页;24cm

丛编项:

现代数学基础丛书;172

个人责任者:

冯琦 编著

学科主题:

数理逻辑

中图法分类号:

O141

书目附注:

有索引

提要文摘附注:

本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎－哈灵顿不完全性定理。

豆瓣简介：