TY  - BOOK
AU  - RYAN, HUTH
TI  - LOGIC IN COMPUTER SCIENCE
SN  - 9780521670890
U1  - 005.101 
PY  - 2009///
ER  -