載入...
Completeness,compactness and undecidability /
| 主要作者: | |
|---|---|
| 格式: | Printed Book |
| 語言: | English |
| 出版: |
New Jersey
Prentice -Hall
1975
|
| 叢編: | Introduction to mathematical logic
|
MAT
| 索引號: |
510.633 MAN |
|---|---|
| 復印件 | Live Status Unavailable |