本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、...
2019.7
本书是《数理逻辑：证明及其限度》的第二版，主要内容为数理逻辑的基本知识。全书共分10章：第一章是预备知...
2019.9