TY - BOOK AU - Srivastava, S M TI - Course on mathematical logic SN - 978813226743 U1 - 511.3 PY - 2008/// CY - New Delhi PB - Springer KW - Mathematics KW - Logic, Symbolic and mathematical ER -