"Hermes, Hans" Introduction to Mathematics Logic - \\197300ENGGPSX - Springer 1973 New York - xi+242 p includes index and biblioraphy