数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法;第二章至第四章介绍了命题逻辑的思想和方法;第五六章介...

2012.10