TY  - BOOK
AU  - SRIVASTAVA S M
TI  - COURSE ON MATHEMATICAL LOGIC
PY  - 2012///
PB  - SPRINGER
ER  -