Logic for computer science

Logic for computer science

Bibliographic Details
Main Author: Reeves, Steve 1957-
Other Authors: Clarke, Michael 1940-
Format: Book
Language:English
Published: Wokingham, England Addison-Wesley c1990.
Series:International computer science series
Subjects:
Logic, Symbolic and mathematical.
Computer systems > Programming > Applications of mathematical logic.