TY  - BOOK
AU  - HUTH , MICHAEL, RYAN, MARK,
TI  - LOGIC IN COMPUTER SCIENCE : MODELLING & REASONING
PB  - UNIVERSITY PRESS
ER  -