Vvedenie v matematičeskuju logiku - Mendelson, Elliott (Fizičko-matematičeskoj literaturji / Nauka - Moskva., 1971)