TY  - BOOK
AU  - Huth,Micheal;Ryan,Mark;
TI  - Logic in Computer Science: Modelling and Reasoning About Systems
SN  - 9780521656028
U1  - 005.115 
PY  - 2004///
CY  - UK
PB  - Cambridge University Press.
KW  - Computer science
N1  - Notes,Bibliography and index are included
ER  -