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