TY - BOOK AU - Rautenberg , Wolfgang TI - Concise introduction to mathematical logic.-2nd ed PY - 2006/// CY - New york PB - Springer, KW - Logic, maths ER -