Logic for computer science

Chi tiết về thư mục
Tác giả chính: Reeves, Steve 1957-
Tác giả khác: Clarke, Michael 1940-
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Wokingham, England Addison-Wesley c1990.
Những chủ đề: