数理逻辑

本书包含一阶数理逻辑的基本核心内容, 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、...

2019.7

数理逻辑

本书是《数理逻辑:证明及其限度》的第二版,主要内容为数理逻辑的基本知识。全书共分10章:第一章是预备知...

2019.9