Introduction to Mathematical Logic - Hermes, Hans