TY  - BOOK
AU  - Huth Michael
AU  - Mark Ryan
TI  - Logic in computer science modelling and reasoning about system/ 
SN  - 0521652006
AV  - QA76.9.L63H88 1999 
PY  - 1999///
CY  - NewYork
PB  - Huth ,Ryan
KW  - Computer
N1  - Includes bibliographical references and index
ER  -