数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本书共分十章，前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。[1]
《信息科学与技术基础丛书》序
符号对照表
《信息科学与技术基础丛书》序
第二次印刷说明
符号对照表
第1章 一阶语言的语法
第2章 一阶语言的模型
第3章 形式推理系统
第4章 可计算性与可表示性