Location & Availability for: Logic in computer science : modelling an

 Staff view

You must be logged in to Tag Records

Logic in computer science : modelling and reasoning about systems /

Michael Huth, Mark Ryan.

Book Cover
Main Author: Huth, Michael
Other Names: Ryan, Mark,
Published: Cambridge, U.K. ; Cambridge University Press, 2000.
Topics: Computer logic. | Computer logic.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Illinois Wesleyan University

Loading Holdings Data ... Loading

Location & Availability for: Logic in computer science : modelling an