00518nam a2200169Ia 4500100002300000650002300023942000700046366000700053654002300060245004400083260003000127082001900157300000800176546001200184999001700196952013500213  aAri/Mordechai Ben   aMathematical Logic  cBK  f20  amathematical logic  aMathematical logic for computer Science  bSpringeraNew Delhic2001  a511.3/ARIbARI  a304  aENGLISH  c19962d19962  001040708CRCaCRCEbCRCEd2023-03-17eAne Books Indiag396.00i355l0o511.3/ARI ARIp18677r2023-03-17v495.00w0000-00-00yBK