TY  - BOOK
AU  - Hermes, Hans
TI  - Introduction to mathematical logic
SN  - 3540058192
PY  - 1973///
CY  - New york
PB  - Springer
KW  - group theoretic statements
KW  - Logic calculi
ER  -