TY  - BOOK
AU  - Hermes,Hans
AU  - Schmidt,Diana
TI  - Introduction to mathematical logic
SN  - 0387058192 (pbk.)
U1  - 164 
PY  - 1973///
CY  - Berlin
PB  - Springer Verlag
KW  - Logic, Symbolic and mathematical
N1  - Includes index; Translation of : Einfuhrung in die mathematische Logik
ER  -