数理逻辑十二讲 = Lecture notes in mathematical logic
Saved in:
Main Authors: | ; |
---|---|
Published: |
机械工业出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2018 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 155页: ; 26cm |
ISBN: | 978-7-111-58122-2 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/3908 |
Contents: |
面向CS2013计算机专业规划教材 本书包括命题逻辑、Boole代数、一阶逻辑的语言、一阶逻辑的自然推理系统、集合论的公理系统、完全性定理、Herbrand定理等内容。 |