TY  - BOOK
AU  -  RYAN MARK
TI  - LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
SN  - 9780521670890
U1  - 005.101 
PY  - 2004///
CY  - NEW DELHI 
PB  - CUP
ER  -