数理逻辑入门 = A beginner's guide to mathematical logic
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
中国轻工业出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2019 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 370页: 图 ; 24cm |
ISBN: | 978-7-5184-2183-1 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/4826-1 |
Contents: | 有书目 |