数理逻辑

本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻...

2004.01

数理逻辑基础

本书介绍数理逻辑的基础部分。

2003.