Introduction to mathematical logic - Hermes, Hans (Universitext, 1973)