TY  - BOOK
AU  - MICHAEL HUTH.; MARK RYAN.
TI  - LOGIC IN COMPUTER SCIENCE : MODELLING AND REASONING ABOUT SYSTEMS
SN  - 9780521670890
U1  - 004 HUT 
PB  - CAMBRIDGE UNIVERSITY PRESS.
KW  - LOGIC
ER  -