载入...
Completeness,compactness and undecidability /
| 主要作者: | |
|---|---|
| 格式: | Printed Book |
| 语言: | English |
| 出版: |
New Jersey
Prentice -Hall
1975
|
| 丛编: | Introduction to mathematical logic
|
MAT
| 索引号: |
510.633 MAN |
|---|---|
| 复印件 | Live Status Unavailable |