TY - BOOK AU - Srivastava, S. M. TI - Course on mathematical logic SN - 9788132206743 U1 - 511.3 SRI PY - 2012/// CY - New Delhi : PB - Springer KW - Algebra KW - Logic, Symbolic and mathematical KW - Propositional logic ER -