Introduction to mathematical logic - Hermes, Hans (Springer Verlang, 1973)