Đang tải...

Completeness, compactness, and undecidability : an introduction to mathematical logic /

Chi tiết về thư mục
Tác giả chính: Manaster, Alfred B.
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Những chủ đề:

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 511/.3 MAN/C
Sao chép Trạng thái trực tiếp không khả dụng