000 00486nam a2200217Ia 4500
999 _c13643
_d13643
003 OSt
005 20191231183004.0
008 160427s9999 xx 000 0 und d
020 _a9788120332485
040 _cLIRC
082 _a510.64 CHA
100 _aChakraborti, Chhanda
245 _aLogic
_binformal, symbolic and inductive
250 _a2nd
260 _aNew Delhi
260 _bPHI
260 _c2009
300 _a562 p.
650 _vECE
942 _2ddc
_cBK
_e2nd