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: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική
• Physical Description: vi, 265 p. fig. 24 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 0632013087