Introduction to Mathematical Logic - Hermes Hans (1973)