00323nam a2200133Ia 4500100002300000650002300023366000700046654002300053245004400076260003000120082001900150300000800169546001200177  aAri/Mordechai Ben   aMathematical Logic  f20  amathematical logic  aMathematical logic for computer Science  bSpringeraNew Delhic2001  a511.3/ARIbARI  a304  aENGLISH