Introduction To Mathematical Logic. - Hermes, Hans (Springer, 1973)