TY - BOOK AU - Rautenberg,Wolfgang ED - SpringerLink (Online service) TI - A concise introduction to mathematical logic SN - 9781441912213 (electronic bk.) U1 - 511.3 22 PY - 2010/// CY - New York, NY PB - Springer Science+Business Media, LLC KW - Logic, Symbolic and mathematical KW - Mathematics KW - Mathematical Logic and Foundations KW - Computational Science and Engineering UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url= ER -