TY - BOOK AU - Manin,YuI. ED - SpringerLink (Online service) TI - A course in mathematical logic for mathematicians SN - 9781441906151 (electronic bk.) AV - QA9 .M29613 2010 U1 - 511.3 22 PY - 2010/// CY - New York, NY PB - Springer-Verlag New York KW - Logic, Symbolic and mathematical KW - Mathematics KW - Mathematical Logic and Foundations KW - Logic UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url= ER -