000 00442pam a2200157a 44500
008 140414b2006 xxu||||| |||| 00| 0 eng d
082 _a004.015
_bRAO
100 _aRAO, G SHANKER
245 _aMathematical Foundations of Computer Science
_c
260 _aNEW DEHLI
_bI.K. INTERNATIONAL
_c2006
650 _a PREDICATE LOGIC
650 _a MATHEMATICAL LOGIC
650 _aCOMPUTER SCIENCE
690 _aCOMPUTER SCIENCE
906 _a19364
999 _c18733
_d18733