TY  - BOOK
AU  - Rautenberg,Wolfgang
TI  - A concise introduction to mathematical logic
SN  - 0387302948
CY  - New York, NY : Springer, 2006
KW  - Logic, Symbolic and mathematical
ER  -