TY - DATA AU - Rautenberg, Wolfgang., author. TI - A Concise Introduction to Mathematical Logic SN - 9781441912213, 978-1-4419-1221-3 U1 - 511.3, PY - 2010/// 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/978-1-4419-1221-3 ER -