TY  - BOOK
AU  - Ryan Mark
TI  - Logic In Computer Science
U1  - 310 
PY  - 2004///
CY  - Pune
PB  - Cambridge Univercity Press
KW  - English Criticism
N1  - 188
ER  -