TY - DATA AU - Rautenberg, Wolfgang., author. TI - A Concise Introduction to Mathematical Logic SN - 9780387342412, 978-0-387-34241-2 U1 - 511.3, PY - 2006/// CY - New York, NY PB - Springer New York KW - Logic, Symbolic and mathematical KW - Computational Science and Engineering KW - Computer science KW - Mathematical Logic and Foundations KW - Mathematics N1 - Mathematics and Statistics (Springer-11649) UR - http://dx.doi.org/10.1007/0-387-34241-9 ER -