TY  - BOOK
AU  - RAO, G SHANKER
TI  - Mathematical Foundations of Computer Science
U1  - 004.015 
PY  - 2006///
CY  - NEW DEHLI
PB  - I.K. INTERNATIONAL
KW  -  PREDICATE LOGIC
KW  -  MATHEMATICAL LOGIC
KW  - COMPUTER SCIENCE
ER  -