TY - BOOK AU - Rautenberg Wolfgang TI - Concise introduction to mathematical logic U1 - R14, QO PY - 2010/// CY - New York PB - Springer KW - Mathematics ER -