TY - BOOK AU - Srivastava Shashi Mohan TI - Course on mathematical logic U1 - R14, Q3 PY - 2013/// CY - New York PB - Springer KW - I I C ER -