TY - BOOK AU - Ben Ari, Mordechai TI - Mathematical Logic for Computer Science SN - 9788181283443 U1 - 511.3 PY - 2006/// CY - New Delhi PB - Springer (India) Pvt. Ltd. KW - Mathematics ER -