TY - BOOK AU - RAUTENBERG (W) TI - A Concise Introduction to Mathematical Logic SN - 0387302948 U1 - 511.3 RAT PY - 2006/// CY - 2 PB - Springer ER -