00572pam a2200145 a 4500952013300000999001500133020001500148082001300163100001900176245003700195260004400232300003700276650010600313942000700419  00104071aRIUbRIUd2012-09-17ePurchased: Alvi Books Islamabadg495.00l0o004 AHOp3375r2012-09-17 00:00:00t1yBKzweedout  c4824d4824  a071678284700a004bAHO1 aAho, Alfred V.10aFoundations of computer science   aNew York bComputer Science Pressc1995  axiii, 786 p. b: ill. c; 26 cm. 0aComputer science.vComputer program languagevPredicate logicvData modulesvUsing logicvAlgebravFC  cBK