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