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