TY - DATA AU - Rautenberg,Wolfgang ED - SpringerLink (Online service) TI - A Concise Introduction to Mathematical Logic T2 - Universitext SN - 9780387342412 AV - QA9 R38 2006 PY - 2006/// CY - New York, NY PB - Springer Science+Business Media, Inc. KW - Mathematics KW - Computer science KW - Logic, Symbolic and mathematical KW - Mathematical Logic and Foundations KW - Computational Science and Engineering UR - http://dx.doi.org/10.1007/0-387-34241-9 ER -