数理逻辑的思想与方法

ISBN-10
7310023730
ISBN-13
9787310023738
Pages
326
Language
Chinese
Published
2006
Publisher
南开大学出版社
Author
李娜

Description

本书包括6章。第一章,主要介绍集合、集合运算的基本思路和方法。第二章至第四章,介绍命题逻辑的基本思路和方法,第五章和第六章介绍狭义谓词逻辑的基本思路和方法.