Introduction to mathematical logic - Hermes, Hans (Mathematische Leitfaden, 1973)