Vvedenie v matematičeskuju logiku - Mendelson, Elliott (Nauka : Glavnaja redakcija fiziko - matematičeskoj literatury, 1971)