Đang tải...
Completeness,compactness and undecidability /
| Tác giả chính: | |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
New Jersey
Prentice -Hall
1975
|
| Loạt: | Introduction to mathematical logic
|
MAT
| Số hiệu: |
510.633 MAN |
|---|---|
| Sao chép | Trạng thái trực tiếp không khả dụng |