Screen Library逻辑
Saved in:
| Main Authors: | |
|---|---|
| Published: |
中国人民大学出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2011 |
| Literature type: | Book |
| Language: | Chinese |
| Series: |
中国文库. 第五辑, 哲学社会科学类哲学社会科学类 |
| Subjects: | |
| Carrier Form: | 355页: ; 21cm |
| ISBN: | 978-7-300-14100-8 |
| Index Number: | B81 |
| CLC: | B81 |
| Call Number: | B81/8171-3 |
| Contents: | 本书介绍的对象主要是逻辑中的演绎法。书中前两部分是对传统逻辑的介绍与批评，第三部分介绍了现代西方数理逻辑系统，第四部分就逻辑系统的完全性、一致性和独立性等问题予以探讨。 |