数理逻辑 = A mathematical introduction to logic
Saved in:
Main Authors: | |
---|---|
Group Author: | ; ; |
Published: |
人民邮电出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2007 |
Literature type: | Book |
Language: | Chinese |
Series: |
图灵计算机科学丛书 |
Subjects: | |
Carrier Form: | 240页: ; 26cm |
ISBN: | 978-7-115-14311-2 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/3189 |
Contents: | 书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。 |