Mathematical logic for computer science

• Tác giả: Mordechai Ben-Ari
• Ngôn ngữ: eng
• ISBN-10: 1447141288
• ISBN-13: 978-1447141280
• Ký hiệu phân loại: 004.015113 Data processing || Computer science
• Thông tin xuất bản: New York : Springer, 2012.
• Mô tả vật lý: xv, 346p.. : , illustrations ; , 24 cm
• Bộ sưu tập: Công nghệ thông tin
• ID: 75898
• Chủ đề: 1. Logic, Symbolic and mathematical

Includes bibliographical references and index.