TY - BOOK AU - Ben, Mordechai TI - Mathematical Logic for Computer Science SN - 8181283449 U1 - 511.3 PY - 2003/// CY - New Delhi PB - Springer (india) Private Limited KW - Mathematics ER -