TY  - BOOK
AU  - Hrmes,Hans, x
AU  - x
TI  - Introduction to mathematical logic: x
SN  - x
U1  - 511.3/HEI 
PY  - 1973///
CY  - Berlin
PB  - Springer - Verlag
KW  - Logic, Symbolic and Mathematical
N1  - x
ER  -