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

• Main Author: Dowsing, R.D
• Other Authors: Rayward-Smith, V.J, Walter, C.D
• Format: Book
• Language: English
• Published: Oxford Blackwell Scientific Publications 1986
• Series: Computer science texts
• Subjects: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική