6yr monads
cover
数理逻辑教程 [Book] Douban
author: 陈慕泽 2002 - 3
数理逻辑是思维科学的一个分支，也是数学的一个分支。本书包括：命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。

读过《数理逻辑教程》