TY  - BOOK
AU  - Huth, Michael., 
AU  - Ryan, Mark.,
TI  - Logic in Computer Science: Modelling and Reasoning about Systems 
SN  - 0521670896
U1  - 004.0151 22
PY  - 2004///
CY  - UK
PB  - Cambridge University Press, 
N1  - This book is having Bibliographic notes.
ER  -