TY - BOOK AU - Enderton, Herbert B. TI - Mathematical introduction to logic SN - 9788131201916 U1 - 511.3 En21m2 PY - 2001/// CY - New Delhi PB - Elsevier KW - Logic, symbolic and mathematical ER -