Logic for applications

• Κύριος συγγραφέας: Nerode, Anil 1932- (Συγγραφέας)
• Άλλοι συγγραφείς: Shore, Richard A.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Springer-Verlag 1997
• Έκδοση: 2nd ed.
• Σειρά: Graduate texts in computer science
• Θέματα: Επιστήμη των υπολογιστών > Μαθηματικά; Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Λογική, Συμβολική και μαθηματική