Logic for applications

• Main Author: Nerode, Anil 1932- (Author)
• Other Authors: Shore, Richard A.
• Format: Book
• Language: English
• Published: New York Springer-Verlag 1997
• Edition: 2nd ed.
• Series: Graduate texts in computer science
• Subjects: Επιστήμη των υπολογιστών > Μαθηματικά; Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Λογική, Συμβολική και μαθηματική
• Physical Description: xiii, 456 p. 23 cm.
• Bibliography: Includes bibliographical references and indexes
• ISBN: 0387948937