Logic for computer science

Logic for computer science

Bibliographic Details
Main Author: Reeves, Steve 1957-
Other Authors: Clarke, Michael 1940-
Resource Type: 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.

UP Diliman Extension Program in Pampanga (UP Pampanga)

Accession # Call # Volume/Part# Copy # Collection Circulation Type Circulation Status
UPSF-6218 QA 9 R34 Regular Circulation On-Shelf