数理逻辑引论与归结原理
Saved in:
Main Authors: | |
---|---|
Published: |
科学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2003 |
Literature type: | Book |
Language: | Chinese |
Series: |
现代数学基础丛书 ; 85 |
Subjects: | |
Carrier Form: | 216页: ; 24cm |
ISBN: | 7-03-011579-1 |
Index Number: | O141 |
CLC: |
O141 O141.2 |
Call Number: | O141/1162 |