Mathematical logic for computer science

• Main Author: Mordechai, Ben-Ari
• Format: Book
• Language: English
• Published: London Springer 2001
• Edition: 2nd ed.
• Subjects: Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών > Μαθηματικά