TY - BOOK TI - A Mathematical Introduction To Logic SN - 978-81-372-0191-6 PY - 2001/// CY - New Delhi PB - Elsevier ER -