TY  - BOOK
AU  - "Hermes, Hans"
TI  - Introduction to Mathematics Logic
CY  - Springer
N1  - includes index and biblioraphy
ER  -