Logic for computer science

• Κύριοι συγγραφείς: Reeves, Steve (Συγγραφέας), Clarke, Michael (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Wokingham Addison-Wesley Publishing Company 1990
• Θέματα: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική
• Φυσική περιγραφή: xi, 260 p. fig. 24 cm.
• Βιβλιογραφία: Includes solutions, references and index
• ISBN: 0201416433