TY - BOOK AU - Srivastava,Shashi Mohan TI - A course on mathematical logic SN - 9781461457459 U1 - 511.3 PY - 2013/// CY - New York PB - Springer KW - Mathematics KW - Logic, Symbolic and mathematical ER -