Logic for computer science /

Saved in:
Bibliographic Details
Main Author: Reeves, Steve, 1957-
Other Authors: Clarke, Michael, 1940-
Format: Book
Language:English
Published: Wokingham, England ; Reading, Mass. : Addison-Wesley, [1990]
Series:International computer science series.
Subjects:

University Library ARS Main Stacks

Holdings details from University Library ARS Main Stacks
Call Number: QA9 .R34 1990
Copy 1 Available Request this item