Limit search to available items
Save marked records Save all on page
AUTHORS (1-2 of 2)
Huth Michael 1962
1
Mark
  Logic in computer science : modelling and reasoning about systems
Huth, Michael, 1962-
Cambridge : Cambridge University Press, c2004.  
c2004
BOOK
2
Mark
  Logic in computer science modelling and reasoning about systems
Huth, Michael, 1962-
Cambridge : Cambridge University Press, 2004. -Access this resource online
2004
EBOOKS
Save marked records Save all on page
Locate in results