数理逻辑入门

本书是一本数理逻辑导论教材,主要介绍数理逻辑的基础知识,包括命题逻辑、一阶逻辑、不完全性定理及不完全...

2018.12