Mathematical logic for computer science

• Κύριος συγγραφέας: Mordechai, Ben-Ari
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: London Springer 2001
• Έκδοση: 2nd ed.
• Θέματα: Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών > Μαθηματικά