TY  - BOOK
AU  - RAYAN, HUTHS
TI  - LOGIC IN COMPUTER SCIENCE
U1  - 005.101 
PY  - 2009///
ER  -