A first course in formal logic and its applications in computer science

• Κύριος συγγραφέας: Dowsing, R.D
• Άλλοι συγγραφείς: Rayward-Smith, V.J, Walter, C.D
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Oxford Blackwell Scientific Publications 1986
• Σειρά: Computer science texts
• Θέματα: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: vi, 265 p. fig. 24 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 0632013087