符号逻辑讲义

本书对现代数理逻辑的基本内容进行了系统的、由浅入深的精确介绍。

2008.10