Logic for computer science

• Main Authors: Reeves, Steve (Author), Clarke, Michael (Author)
• Format: Book
• Language: English
• Published: Wokingham Addison-Wesley Publishing Company 1990
• Subjects: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική