Logic for computer science

• Main Authors: Reeves, Steve (Author), Clarke, Michael (Author)
• Format: Book
• Language: English
• Published: Wokingham Addison-Wesley Publishing Company 1990
• Subjects: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική
• Physical Description: xi, 260 p. fig. 24 cm.
• Bibliography: Includes solutions, references and index
• ISBN: 0201416433