Logic for computer science

Logic for computer science

Show all versions (2)
מידע ביבליוגרפי
מחבר ראשי: Reeves, Steve 1957-
מחברים אחרים: Clarke, Michael 1940-
פורמט: ספר
שפה:English
יצא לאור: Wokingham, England Addison-Wesley c1990.
נושאים:
Logic, Symbolic and mathematical.