数理逻辑 : 基本原理与形式演算 | 2版

数理逻辑 : 基本原理与形式演算 | 2版
9787030401557
李未著
信息科学与技术基础丛书
O141
科学出版社
2014-03
2014
2014
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。