数理逻辑

本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。