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
• Θέματα: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική