数理逻辑

本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。

2003.