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