TY  - BOOK
AU  - Hermes Hans
AU  - Schmidt Diana
TI  - Introduction to mathematical logic
SN  - 3-540-05819-2
U1  - 511.3 
PY  - 1973///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical logic
N1  - Tr. from German
ER  -