数理逻辑是什么

本书是一本关于数理逻辑的导论书,面向的是没有任何数学基础的读者,主要介绍了数理逻辑中谓词演算的完全性...

2018.12