📚 网上馆配 · 你选我买选采服务平台

数理逻辑的思想和方法

📝 内容简介

本书共十章，内容包括：数理逻辑与人工语言、命题演算的思想和方法、命题演算系统、直觉主义逻辑的思想和方法、元逻辑的方法和意义、谓词演算的思想和方法、谓词演算系统、哥德尔不完全性定理等。