00496nam a2200193Ia 4500020001800000041001200018082001600030100001800046111000700064245006900071250000600140260002000146300001900166365001900185366001300204541004400217652002100261852002000282  a9780521670890  aEnglish  a005.115 HUT  aHUTH AND RYAN  aNO  aLOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS  a2  bCAMBRIDGEc2012  a427b25fPaper  b595.00dRupees  ePURCHASE  aALLIED PUBLISHERSd21-09-2013cSupplier  aCOMPUTER SCIENCE  aCENTRAL LIBRARY