TY - BOOK AU - Srivastava,S.M. ED - SpringerLink (Online service) TI - A Course on Mathematical Logic SN - 9780387762777 (electronic bk.) U1 - 511.3 22 PY - 2008/// CY - New York, NY PB - Springer Science+Business Media, LLC KW - Logic, Symbolic and mathematical KW - Mathematics KW - Mathematical Logic and Foundations UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-0-387-76277-7 ER -