TY - BOOK AU - S.M SRIVASTAVA TI - A COURSE ON MATHEMATICAL LOGIC U1 - 511.3/SRI/COU PY - 2008/// CY - London PB - SPRINGER KW - MATHEMATICS KW - PRINCIPLES OF MATHEMATICS ER -