Principles of Mathematical Logic
Text: English, German (translation)