经典逻辑与非经典逻辑基础

本书是教育部研究生推荐教学用书。主要介绍了经典逻辑的基本理论,命题演算和一阶谓词演算以及20世纪20年代...

2006.06